Counterexample-guided abstraction refinement

This publication has 9 references indexed in Scilit:

• Tree-like counterexamples in model checking
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Counterexample-Guided Control
  Published by Springer Nature ,2003
• Successive approximation of abstract transition relations
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Counter-Example Based Predicate Discovery in Predicate Abstraction
  Published by Springer Nature ,2002
• Progress on the State Explosion Problem in Model Checking
  Published by Springer Nature ,2001
• Counterexample-Guided Abstraction Refinement
  Published by Springer Nature ,2000
• Model checking and abstraction
  ACM Transactions on Programming Languages and Systems, 1994
• An iterative approach to language containment
  Published by Springer Nature ,1993
• Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
  Published by Association for Computing Machinery (ACM) ,1977