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

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

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

Reference:

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 WangIn Formal Methods in Computer-Aided Design, 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings (Mark Aagaard, John W. O'Leary, eds.), pages 33-51, 2002.Springer

Bibtex Entry:

@inproceedings{DBLP:conf/fmcad/ChauhanCKSVW02,
  author = {Pankaj Chauhan and Edmund M. Clarke and James H. Kukula and Samir   Sapra and Helmut Veith and Dong Wang},
  title = {Automated Abstraction Refinement for Model Checking Large State Spaces Using SAT Based Conflict Analysis},
  year = {2002},
  booktitle = {Formal Methods in Computer-Aided Design, 4th International   Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings},
  editor = {Mark Aagaard and John W. O'Leary},
  pages = {33--51},
  publisher = {Springer},
  isbn = {3-540-00116-6},
  url = {http://link.springer.de/link/service/series/0558/bibs/2517/25170033.htm}
}