Verified Software: Theories, Tools, Experiments Vision of a Grand Challenge Project

Abstract

The ideal of correct software has long been the goal of research in Computer Science. We now have a good theoretical understanding of how to describe what programs do, how they do it, and why they work. This understanding has already been applied to the design, development and manual verification of simple programs of moderate size that are used in critical applications. Automatic verification could greatly extend the benefits of this technology.

DOI: 10.1007/978-3-540-69149-5_1

Extracted Key Phrases

Statistics

051015'05'06'07'08'09'10'11'12'13'14'15'16'17
Citations per Year

68 Citations

Semantic Scholar estimates that this publication has 68 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@inproceedings{Hoare2005VerifiedST, title={Verified Software: Theories, Tools, Experiments Vision of a Grand Challenge Project}, author={C. A. R. Hoare and Jayadev Misra}, booktitle={VSTTE}, year={2005} }