| Title: | Model and Proof Generation for Heap-Manipulating Programs |
|---|---|
| Links: | Homepage Document as PDF |
| Authors: | Martin Brain |
| Cristina David | |
| Daniel Kroening EMail | |
| Peter Schrammel | |
| Remarks: | |
| Topics: |
Bibtex:
@inproceedings{bdks2014-esop,
AUTHOR = { Brain, Martin
and David, Cristina
and Kroening, Daniel
and Schrammel, Peter },
TITLE = { Model and Proof Generation for Heap-Manipulating Programs },
BOOKTITLE = { European Symposium on Programming (ESOP) },
PUBLISHER = { Springer },
PAGES = { 432--452 },
ISBN = { 978-3-642-54832-1 },
SERIES = { LNCS },
VOLUME = { 8410 },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.