The Localization Reduction and Counterexample-Guided Abstraction Refinement
Authors:
- Robert P. KurshanRKRobert P. Kurshan
- 1 January 2010
- book chapter
- Published by Springer Nature
- p. 61-71
Abstract
No abstract availableKeywords
This publication has 23 references indexed in Scilit:
- Combining Abstraction Refinement and SAT-Based Model Checking2007
- SATABS: SAT-Based Predicate Abstraction for ANSI-C2005
- A Hybrid of Counterexample-Based and Proof-Based AbstractionLecture Notes in Computer Science, 2004
- Counterexample-guided abstraction refinement for symbolic model checkingJournal of the ACM, 2003
- Automated Abstraction Refinement for Model Checking Large State Spaces Using SAT Based Conflict Analysis2002
- SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques2002
- Counterexample-Guided Abstraction Refinement2000
- Symbolic Model Checking without BDDs1999
- Model checking and abstractionACM Transactions on Programming Languages and Systems, 1994
- Timing verification by successive approximation1993