Automated Abstraction Refinement for Model Checking Large State Spaces Using SAT Based Conflict Analysis (bibtex)
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}
}
Powered by bibtexbrowser