Counterexample-Guided Abstraction Refinement
Top Cited Papers
- 1 January 2000
- book chapter
- Published by Springer Nature
- p. 154-169
- https://doi.org/10.1007/10722167_15
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Verifying IP-core based system-on-chip designsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Abstract and Model Check while You ProvePublished by Springer Nature ,1999
- Stepwise CTL Model Checking of State/Event SystemsPublished by Springer Nature ,1999
- Experience with Predicate AbstractionPublished by Springer Nature ,1999
- Abstract BDDs: A Technique for Using Abstraction in Model CheckingPublished by Springer Nature ,1999
- Verification by approximate forward and backward reachabilityPublished by Association for Computing Machinery (ACM) ,1998
- Incremental CTL model checking using BDD subsettingPublished by Association for Computing Machinery (ACM) ,1998
- Construction of abstract state graphs with PVSPublished by Springer Nature ,1997
- Model checking and abstractionACM Transactions on Programming Languages and Systems, 1994
- An iterative approach to language containmentPublished by Springer Nature ,1993