| Title: | Completeness and Complexity of Bounded Model Checking |
|---|---|
| Links: | Document as PDF |
| Authors: | Edmund Clarke EMail |
| Daniel Kroening EMail | |
| Ofer Strichman EMail | |
| Joel Ouaknine EMail | |
| Remarks: | |
| Topics: |
Bibtex:
@inproceedings{ckso04,
AUTHOR = { Clarke, Edmund
and Kroening, Daniel
and Strichman, Ofer
and Ouaknine, Joel },
TITLE = { Completeness and Complexity of Bounded Model Checking },
BOOKTITLE = { 5th International Conference on Verification, Model Checking, and Abstract Interpretation },
YEAR = { 2004 },
PAGES = { 85--96 },
ISBN = { 3-540-20803-8 },
SERIES = { Lecture Notes in Computer Science },
VOLUME = { 2937 },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.