A Technique for Invariant Generation
- 23 March 2001
- book chapter
- Published by Springer Nature
- p. 113-127
- https://doi.org/10.1007/3-540-45319-9_9
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Efficient chaotic iteration strategies with wideningsPublished by Springer Nature ,2006
- Comparing the Galois connection and widening/narrowing approaches to abstract interpretationPublished by Springer Nature ,2005
- Automatic Generation of InvariantsFormal Methods in System Design, 1999
- Automatic generation of invariants and intermediate assertionsTheoretical Computer Science, 1997
- Powerful techniques for the automatic generation of invariantsPublished by Springer Nature ,1996
- Property preserving abstractions for the verification of concurrent systemsFormal Methods in System Design, 1995
- Model checking and abstractionACM Transactions on Programming Languages and Systems, 1994
- The ?Hoare logic? of concurrent programsActa Informatica, 1980
- Logical analysis of programsCommunications of the ACM, 1976
- A synthesizer of inductive assertionsIEEE Transactions on Software Engineering, 1975