| Title: | Under-Approximating Loops in C Programs for Fast Counterexample Detection |
|---|---|
| Links: | Homepage Document as PDF |
| Authors: | Daniel Kroening EMail |
| Matt Lewis | |
| Georg Weissenbacher | |
| Remarks: | |
| Topics: |
Bibtex:
@article{klw2015-fmsd,
AUTHOR = { Kroening, Daniel
and Lewis, Matt
and Weissenbacher, Georg },
TITLE = { Under-Approximating Loops in {C} Programs for Fast Counterexample Detection },
YEAR = { 2015 },
PAGES = { 75--92 },
JOURNAL = { Formal Methods in System Design (FMSD) },
VOLUME = { 47 },
NUMBER = { 1 },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.