Automated Abstraction Refinement for Model Checking Large State Spaces using SAT based Conflict Analysis (2002)

by P Chauhan, E M Clarke, J Kukula, S Sapra, H Veith, D Wang
Venue:in Proceedings of Conference on Formal Methods in CAD (FMCAD