How can we determine the added value of software verification

techniques over the more readily available conventional testing

techniques? Formal verification techniques introduce both added

costs and potential benefits. Can we show objectively when the

benefits will outweigh the cost?

Categories and Subject Descr iptors

D.2.4 [Software/Program Verification]: Formal methods,

validation F.3.1 [Specifying, Verifying, and Reasoning about

Programs]: Mechanical verification.

General Terms

Algorithms, Measurement, Design, Reliability, Verification.

Keywords

Model checking, software verification, testing, Spin.