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…