Title: | ExpliSAT: Guiding SAT-Based Software Verification with Explicit States |
---|---|
Links: | |
Authors: | Sharon Barner |
Cindy Eisner | |
Ziv Glazberg | |
Daniel Kroening | |
Ishai Rabinovitz | |
Remarks: | |
Topics: |
Bibtex:
@inproceedings{BEGKR2006, AUTHOR = { Sharon Barner, and Cindy Eisner, and Ziv Glazberg, and Daniel Kroening, and Ishai Rabinovitz, }, TITLE = { ExpliSAT: Guiding SAT-Based Software Verification with Explicit States }, BOOKTITLE = { Proceedings of HVC 2006 }, NOTE = { to appear }, YEAR = { 2006 }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.