D.: Automated Abstraction Refinement for Model Checking Large State Spaces Using SAT based Conflict Analysis (0)

by P Chauhan, E M Clarke, S Sapra, J Kukula, H Veith, Wang
Venue:Formal Methods in Computer-aided Design (FMCAD). Volume 2517 of LNCS. (2002) 33–51