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}
}