Automatic generation of invariants and intermediate assertions
Open Access
- 20 February 1997
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 173 (1) , 49-87
- https://doi.org/10.1016/s0304-3975(96)00191-0
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Powerful techniques for the automatic generation of invariantsPublished by Springer Nature ,1996
- Verification of real-time systems by successive over and under approximationPublished by Springer Nature ,1995
- Constraint logic programming: a surveyThe Journal of Logic Programming, 1994
- Verification of linear hybrid systems by means of convex approximationsPublished by Springer Nature ,1994
- On the mechanical derivation of loop invariantsJournal of Symbolic Computation, 1993
- Logical analysis of programsCommunications of the ACM, 1976
- Affine relationships among variables of a programActa Informatica, 1976
- A synthesizer of inductive assertionsIEEE Transactions on Software Engineering, 1975