Automated abstraction refinement for model checking large state spaces using sat based conflict analysis (2002)

by Pankaj Chauhan, Edmund Clarke, James Kukula, Samir Sapra, Helmut Veith, Dong Wang
Venue:In in Proceedings of FMCAD