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