A Practical and Complete Approach to Predicate Refinement
Top Cited Papers
- 1 January 2006
- book chapter
- Published by Springer Nature
- p. 459-473
- https://doi.org/10.1007/11691372_33
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Predicate Abstraction of ANSI-C Programs Using SATFormal Methods in System Design, 2004
- An Interpolating Theorem ProverPublished by Springer Nature ,2004
- Interpolation and SAT-Based Model CheckingPublished by Springer Nature ,2003
- Predicate Abstraction with Minimum PredicatesPublished by Springer Nature ,2003
- Lazy Theorem Proving for Bounded Model Checking over Infinite DomainsPublished by Springer Nature ,2002
- Relative Completeness of Abstraction Refinement for Software Model CheckingPublished by Springer Nature ,2002
- Incremental Verification by AbstractionPublished by Springer Nature ,2001
- Construction of abstract state graphs with PVSPublished by Springer Nature ,1997
- Simplification by Cooperating Decision ProceduresACM Transactions on Programming Languages and Systems, 1979
- Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theoryThe Journal of Symbolic Logic, 1957