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.