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.