Title: | Computational Challenges in Bounded Model Checking |
---|---|
Links: | Document as PDF |
Authors: | Edmund Clarke EMail |
Daniel Kroening EMail | |
Joel Ouaknine EMail | |
Ofer Strichman EMail | |
Remarks: | |
Topics: |
Bibtex:
@article{ckos2005, AUTHOR = { Clarke, Edmund and Kroening, Daniel and Ouaknine, Joel and Strichman, Ofer }, TITLE = { Computational Challenges in Bounded Model Checking }, YEAR = { 2005 }, PUBLISHER = { Springer Verlag }, PAGES = { 174--183 }, JOURNAL = { Software Tools for Technology Transfer (STTT) }, VOLUME = { 7 }, MONTH = { April }, NUMBER = { 2 }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.