Automated Abstraction Refinement for Model Checking Large State Spaces Using SAT Based Conflict Analysis.

Pankaj Chauhan, Edmund M. Clarke, James H. Kukula, Samir Sapra, Helmut Veith, Dong Wang

Browse the full FMCAD paper archive.