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 AnalysisPankaj Chauhan, Edmund M. Clarke, James H. Kukula, Samir Sapra, Helmut Veith, Dong WangFormal 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}
}