Automatic construction of verification condition generators from hoare logics
- 1 January 1981
- book chapter
- Published by Springer Nature
- p. 363-377
- https://doi.org/10.1007/3-540-10843-2_30
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Axiomatic definitions of programming languagesPublished by Association for Computing Machinery (ACM) ,1980
- An axiomatic treatment of ALGOL 68 routinesPublished by Springer Nature ,1979
- Programming Language Constructs for Which It Is Impossible To Obtain Good Hoare Axiom SystemsJournal of the ACM, 1979
- Soundness and Completeness of an Axiom System for Program VerificationSIAM Journal on Computing, 1978
- Proof rules for the programming language EuclidActa Informatica, 1978
- Automatic program verification I: A logical basis and its implementationActa Informatica, 1975
- An axiomatic definition of the programming language PASCALActa Informatica, 1973
- An axiomatic basis for computer programmingCommunications of the ACM, 1969