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 PROCEEDINGS OF FMCAD
Citations:66 - 11 self