How did software get so reliable without proof?

  • C. A. R. Hoare
Invited Lectures

DOI: 10.1007/3-540-60973-3_77

Volume 1051 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Hoare C.A.R. (1996) How did software get so reliable without proof?. In: Gaudel MC., Woodcock J. (eds) FME'96: Industrial Benefit and Advances in Formal Methods. FME 1996. Lecture Notes in Computer Science, vol 1051. Springer, Berlin, Heidelberg


By surveying current software engineering practice, this paper reveals that the techniques employed to achieve reliability are little different from those which have proved effective in all other branches of modern engineering: rigorous management of procedures for design inspection and review; quality assurance based on a wide range of targeted tests; continuous evolution by removal of errors from products already in widespread use; and defensive programming, among other forms of deliberate over-engineering. Formal methods and proof play a small direct role in large scale programming; but they do provide a conceptual framework and basic understanding to promote the best of current practice, and point directions for future improvement.

Download to read the full conference paper text

Copyright information

© Springer-Verlag 1996

Authors and Affiliations

  • C. A. R. Hoare
    • 1
  1. 1.Oxford University Computing LaboratoryOxfordUK