| Title: | Understanding Counterexamples with explain |
|---|---|
| Links: | Document as PDF |
| Authors: | Alex Groce |
| Daniel Kroening EMail | |
| Flavio Lerda | |
| Remarks: | |
| Topics: |
Bibtex:
@inproceedings{gkl2004,
AUTHOR = { Groce, Alex
and Kroening, Daniel
and Lerda, Flavio },
TITLE = { Understanding Counterexamples with explain },
BOOKTITLE = { Proceedings of CAV 2004 },
YEAR = { 2004 },
PAGES = { 453--456 },
ISBN = { 3-540-22342-8 },
SERIES = { LNCS },
MONTH = { July },
NUMBER = { 3114 },
EDITOR = { Rajeev Alur and Doron A. Peled },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.