Computer Aided Verification

Volume 4144 of the series Lecture Notes in Computer Science pp 5-16

The Ideal of Verified Software

(Invited Talk)
  • Tony HoareAffiliated withMicrosoft Research

* Final gross prices may vary according to local VAT.

Get Access


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 large and representative sample of useful computer software.