A methodology for verifying programs
- 1 April 1975
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 10 (6) , 156-164
- https://doi.org/10.1145/390016.808435
Abstract
The paper investigates methods for applying an online interactive verification system designed to prove properties of PASCAL programs. The methodology provides techniques for developing a debugged and verified version starting from an incomplete program .This publication has 7 references indexed in Scilit:
- A methodology for verifying programsPublished by Association for Computing Machinery (ACM) ,1975
- An axiomatic definition of the programming language PASCALActa Informatica, 1973
- Program proving: CoroutinesActa Informatica, 1973
- An interpretation-oriented theorem prover over integersJournal of Computer and System Sciences, 1972
- The programming language pascalActa Informatica, 1971
- Procedures and parameters: An axiomatic approachLecture Notes in Mathematics, 1971
- Algorithm 245: TreesortCommunications of the ACM, 1964