Where Is the Value in a Program Verifier?

Authors:
Colin O'Halloran
Affiliations:
Systems Assurance Group, Trusted Information Management, QinetiQ, UK
Venue:
VSTTE '08 Proceedings of the 2nd international conference on Verified Software: Theories, Tools, Experiments
Year:
2008

Citing 2
Cited 0

A Hoare logic for single-input single-output continuous-time control systems

HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
ClawZ: cost-effective formal verification for control systems

ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper addresses the assumption that software verification is valuable. Using experience from the assessment of safety critical software it makes observations of where the value of a Program Verifier might be and how it relates to the use of Formal Methods in requirements and design activities.