| Title: | Lifting CDCL to Template-based Abstract Domains for Program Verification |
|---|---|
| Links: | Homepage Document as PDF |
| Authors: | Rajdeep Mukherjee |
| Peter Schrammel | |
| Leopold Haller | |
| Daniel Kroening EMail | |
| Tom Melham | |
| Remarks: | |
| Topics: |
Bibtex:
@inproceedings{mshkm2017,
AUTHOR = { Mukherjee, Rajdeep
and Schrammel, Peter
and Haller, Leopold
and Kroening, Daniel
and Melham, Tom },
TITLE = { Lifting {CDCL} to Template-based Abstract Domains for Program Verification },
BOOKTITLE = { Automated Technology for Verification and Analysis (ATVA) },
YEAR = { 2017 },
PUBLISHER = { Springer },
PAGES = { 307--326 },
ISBN = { 978-3-319-68166-5 },
SERIES = { LNCS },
VOLUME = { 10482 },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.