Title:
Economics-of-Software-Verification
Download
Description: 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 Descriptors
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.
To Search:
File list (Check if you may need any files):
Economics of Software Verification.pdf
