| Title: | Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL |
|---|---|
| Links: | Homepage Document as PDF |
| Authors: | Martin Brain |
| Vijay D'Silva | |
| Alberto Griggio | |
| Leopold Haller | |
| Daniel Kroening EMail | |
| Remarks: | |
| Topics: |
Bibtex:
@inproceedings{bdghk2013-sas,
AUTHOR = { Brain, Martin
and D'Silva, Vijay
and Griggio, Alberto
and Haller, Leopold
and Kroening, Daniel },
TITLE = { Interpolation-Based Verification of Floating-Point Programs with Abstract {CDCL} },
BOOKTITLE = { Static Analysis Symposium (SAS) },
YEAR = { 2013 },
PUBLISHER = { Springer },
PAGES = { 412--432 },
ISBN = { 978-3-642-38855-2 },
SERIES = { LNCS },
VOLUME = { 7935 },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.