Program verification system with synthesizer of invariant assertions
- 1 January 1989
- journal article
- research article
- Published by Wiley in Systems and Computers in Japan
- Vol. 20 (1) , 1-13
- https://doi.org/10.1002/scj.4690200101
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- A Heuristic for Deriving Loop FunctionsIEEE Transactions on Software Engineering, 1984
- ADI: Automatic Derivation of InvariantsIEEE Transactions on Software Engineering, 1980
- Logical analysis of programsCommunications of the ACM, 1976
- A synthesizer of inductive assertionsIEEE Transactions on Software Engineering, 1975
- The synthesis of loop predicatesCommunications of the ACM, 1974