An Introduction to Proving the Correctness of Programs
- 1 September 1976
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Computing Surveys
- Vol. 8 (3), 331-353
- https://doi.org/10.1145/356674.356677
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- Consumer Health on the World-Wide Web: Gold or Gilt?Health Care on the Internet, 1996
- Symbolic execution and program testingCommunications of the ACM, 1976
- Proving Properties of Complex Data StructuresJournal of the ACM, 1976
- Automatic program verification I: A logical basis and its implementationActa Informatica, 1975
- Proving Theorems about LISP FunctionsJournal of the ACM, 1975
- The synthesis of loop predicatesCommunications of the ACM, 1974
- An axiomatic definition of the programming language PASCALActa Informatica, 1973
- An Assessment of Techniques for Proving Program CorrectnessACM Computing Surveys, 1972