Advances in counterexample-guided abstraction refinement

2007-08-01T00:00:00Z (GMT) by E. M. Clarke Ofer Strichman
Abstract: "This report is a collection of six articles on model checking in the abstraction/refinement framework. This framework is used by various techniques for tackling the state-space explosion problem that is frequently encountered in model checking."