| Title: | Linear Completeness Thresholds for Bounded Model Checking |
|---|---|
| Links: | Homepage Document as PDF |
| Authors: | Daniel Kroening EMail |
| Joel Ouaknine | |
| Ofer Strichman | |
| Thomas Wahl | |
| James Worrell | |
| Remarks: | |
| Topics: |
Bibtex:
@inproceedings{kosww2011-cav,
AUTHOR = { Kroening, Daniel
and Ouaknine, Joel
and Strichman, Ofer
and Wahl, Thomas
and Worrell, James },
TITLE = { Linear Completeness Thresholds for Bounded Model Checking },
BOOKTITLE = { Proceedings of CAV },
YEAR = { 2011 },
PUBLISHER = { Springer },
PAGES = { 557--572 },
SERIES = { LNCS },
VOLUME = { 6806 },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.