A dynamic logic for program verification
- 1 January 1989
- book chapter
- Published by Springer Nature
- p. 134-145
- https://doi.org/10.1007/3-540-51237-3_12
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- GWAI-87 11th German Workshop on Artifical IntelligencePublished by Springer Nature ,1987
- Writing programs that construct proofsJournal of Automated Reasoning, 1985
- Correctness of programs with Pascal-like procedures without global variablesTheoretical Computer Science, 1984
- Proving program inclusion using Hoare's logicTheoretical Computer Science, 1984
- A sound and relatively complete Hoare-logic for a language with higher type proceduresActa Informatica, 1983
- A complete logic for reasoning about programs via nonstandard model theory IITheoretical Computer Science, 1982
- Keeping a foot on the groundPublished by Springer Nature ,1982
- The Science of ProgrammingPublished by Springer Nature ,1981
- First-Order Dynamic LogicLecture Notes in Computer Science, 1979
- An axiomatic basis for computer programmingCommunications of the ACM, 1969