Advances in counterexample-guided abstraction refinement
journal contributionposted on 01.08.2007 by E. M. Clarke, Ofer Strichman
Any type of content formally published in an academic journal, usually following a peer-review process.
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."