Tactical theorem proving in program verification
- 1 January 1990
- book chapter
- Published by Springer Nature
- p. 117-131
- https://doi.org/10.1007/3-540-52885-7_83
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- HARP: A tableau-based theorem proverJournal of Automated Reasoning, 1988
- Logic and ComputationPublished by Cambridge University Press (CUP) ,1987
- GWAI-87 11th German Workshop on Artifical IntelligencePublished by Springer Nature ,1987
- Proving program inclusion using Hoare's logicTheoretical Computer Science, 1984
- The Science of ProgrammingPublished by Springer Nature ,1981
- Edinburgh LCFLecture Notes in Computer Science, 1979
- First-Order Dynamic LogicLecture Notes in Computer Science, 1979