Making Predicate Abstraction Efficient:
- 1 January 2003
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- SAT Based Predicate Abstraction for Hardware VerificationPublished by Springer Nature ,2004
- Automatic Abstraction without CounterexamplesPublished by Springer Nature ,2003
- Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial EvaluationPublished by Springer Nature ,2003
- Lazy abstractionACM SIGPLAN Notices, 2002
- Boolean and Cartesian Abstraction for Model Checking C ProgramsPublished by Springer Nature ,2001
- Counterexample-Guided Abstraction RefinementPublished by Springer Nature ,2000
- Computing abstractions of infinite state systems compositionally and automaticallyPublished by Springer Nature ,1998
- 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
- Property preserving abstractions for the verification of concurrent systemsFormal Methods in System Design, 1995