Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation
- 28 February 2003
- book chapter
- Published by Springer Nature
- p. 176-191
- https://doi.org/10.1007/3-540-36577-x_13
Abstract
No abstract availableThis publication has 28 references indexed in Scilit:
- Symbolic model checking: 1020 States and beyondPublished by Elsevier ,2004
- Symbolic Localization Reduction with Reconstruction Layering and BacktrackingPublished by Springer Nature ,2002
- SAT Based Abstraction-Refinement Using ILP and Machine Learning TechniquesPublished by Springer Nature ,2002
- Benefits of Bounded Model Checking at an Industrial SettingPublished by Springer Nature ,2001
- Counterexample-Guided Abstraction RefinementPublished by Springer Nature ,2000
- Symbolic Model Checking without BDDsPublished by Springer Nature ,1999
- Model checking and abstractionACM Transactions on Programming Languages and Systems, 1994
- An iterative approach to language containmentPublished by Springer Nature ,1993
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- Graph TheoryPublished by Springer Nature ,1979