Progress on the State Explosion Problem in Model Checking

Clarke, Edmund M.; Grumberg, Orna; Jha, Somesh; Lu, Yuan; Veith, Helmut

by Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith

Reference:

Progress on the State Explosion Problem in Model CheckingEdmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut VeithInformatics - 10 Years Back. 10 Years Ahead. (Reinhard Wilhelm, ed.), pages 176-194, 2001, Springer.

Bibtex Entry:

@inproceedings{DBLP:conf/dagstuhl/ClarkeGJLV01,
  author = {Edmund M. Clarke and Orna Grumberg and Somesh Jha and Yuan Lu and   Helmut Veith},
  title = {Progress on the State Explosion Problem in Model Checking},
  year = {2001},
  booktitle = {Informatics - 10 Years Back. 10 Years Ahead.},
  editor = {Reinhard Wilhelm},
  pages = {176--194},
  publisher = {Springer},
  isbn = {3-540-41635-8},
  url = {http://link.springer.de/link/service/series/0558/bibs/2000/20000176.htm}
}