| Title: | ExpliSAT: Guiding SAT-Based Software Verification with Explicit States |
|---|---|
| Links: | Homepage Document as PDF |
| Authors: | Sharon Barner |
| Cindy Eisner | |
| Ziv Glazberg | |
| Daniel Kroening EMail | |
| Ishai Rabinovitz | |
| Remarks: | |
| Topics: |
Bibtex:
@inproceedings{BEGKR2006,
AUTHOR = { Barner, Sharon
and Eisner, Cindy
and Glazberg, Ziv
and Kroening, Daniel
and Rabinovitz, Ishai },
TITLE = { {ExpliSAT}: Guiding {SAT}-Based Software Verification with Explicit States },
BOOKTITLE = { Haifa Verification Conference (HVC) },
YEAR = { 2007 },
PUBLISHER = { Springer },
PAGES = { 138--154 },
SERIES = { Lecture Notes in Computer Science },
VOLUME = { 4383 },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.