Refining Approximations in Software Predicate Abstraction
- 1 January 2004
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- Theorem Proving Using Lazy Proof ExplicationPublished by Springer Nature ,2003
- A Symbolic Approach to Predicate AbstractionPublished by Springer Nature ,2003
- Successive approximation of abstract transition relationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- CVC: A Cooperating Validity CheckerPublished by Springer Nature ,2002
- BebopPublished by Association for Computing Machinery (ACM) ,2001
- Automatic predicate abstraction of C programsPublished by Association for Computing Machinery (ACM) ,2001
- Boolean and Cartesian Abstraction for Model Checking C ProgramsPublished by Springer Nature ,2001
- Bebop: A Symbolic Model Checker for Boolean ProgramsPublished by Springer Nature ,2000
- Generating finite-state abstractions of reactive systems using decision proceduresPublished by Springer Nature ,1998
- Construction of abstract state graphs with PVSPublished by Springer Nature ,1997