Verified Software: Theories, Tools, Experiments

Authors:
Sir Tony Hoare
Affiliations:
-
Venue:
ICECCS '08 Proceedings of the 13th IEEE International Conference on on Engineering of Complex Computer Systems
Year:
2008

Citing 0
Cited 1

RAFFS: Model Checking a Robust Abstract Flash File Store

ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

The ideal of verified software has long been the goal of research in Computer Science. This paper argues that the time is ripe to embark on a Grand Challenge project to construct a program verifier, based on a sound and complete theory of programming, and evaluated by experimental application to a representative sample of useful computer software.