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

Chauhan, Pankaj ; Clarke, Edmund ; Kukula, James ; Sapra, Samir ; Veith, Helmut ; Wang, Dong Aagaard, Mark D. ; O’Leary, John W.

Formal Methods in Computer-Aided Design, 2002, p.33-51 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível