most citedA Hybrid Approach to Semi-automated Rust Verification

1 citations · 1 across the 3 of their papers we have counts for

collaborators
Showing cs.SEShow all

1 paper · 1 filter

cs.SE2025

Toward Practical Deductive Verification: Insights from a Qualitative Survey in Industry and Academia

Lea Salome Brugger, Xavier Denis, Peter Müller

Deductive verification is an effective method to ensure that a given system exposes the intended behavior. In spite of its proven usefulness and feasibility in selected projects, d…