| Title: | An Abstract Interpretation of DPLL(T) |
|---|---|
| Links: | Homepage Document as PDF |
| Authors: | Martin Brain |
| Vijay D'Silva | |
| Leopold Haller | |
| Alberto Griggio | |
| Daniel Kroening EMail | |
| Remarks: | |
| Topics: |
Bibtex:
@inproceedings{bdhgk2013-vmcai,
AUTHOR = { Brain, Martin
and D'Silva, Vijay
and Haller, Leopold
and Griggio, Alberto
and Kroening, Daniel },
TITLE = { An Abstract Interpretation of {DPLL(T)} },
BOOKTITLE = { Verification, Model Checking, and Abstract Interpretation (VMCAI) },
YEAR = { 2013 },
PUBLISHER = { Springer },
PAGES = { 455--475 },
ISBN = { 978-3-642-35872-2 },
SERIES = { LNCS },
NUMBER = { 7737 },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.