An interactive program verification system
- 1 April 1975
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 10 (6), 482-492
- https://doi.org/10.1145/390016.808472
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- Verifying programs by algebraic and logical reductionPublished by Association for Computing Machinery (ACM) ,1975
- Provable programmingPublished by Association for Computing Machinery (ACM) ,1975
- A methodology for verifying programsPublished by Association for Computing Machinery (ACM) ,1975
- The application of a symbolic mathematical system to program verificationPublished by Association for Computing Machinery (ACM) ,1974
- An axiomatic definition of the programming language PASCALActa Informatica, 1973
- Reasoning about programsPublished by Association for Computing Machinery (ACM) ,1973
- REDUCE 2Published by Association for Computing Machinery (ACM) ,1971
- Procedures and parameters: An axiomatic approachLecture Notes in Mathematics, 1971
- One Man's View of Computer ScienceJournal of the ACM, 1969