| Title: | Counterexample Guided Precondition Inference |
|---|---|
| Links: | Homepage Document as PDF |
| Authors: | Mohamed Nassim Seghir |
| Daniel Kroening EMail | |
| Remarks: | |
| Topics: |
Bibtex:
@inproceedings{sk2013-esop,
AUTHOR = { Seghir, Mohamed Nassim
and Kroening, Daniel },
TITLE = { Counterexample Guided Precondition Inference },
BOOKTITLE = { European Symposium on Programming (ESOP) },
YEAR = { 2013 },
PUBLISHER = { Springer },
PAGES = { 451--471 },
ISBN = { 978-3-642-37035-9 },
SERIES = { LNCS },
NUMBER = { 7792 },
EDITOR = { M. Felleisen and P. Gardner },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.