Title: | Beyond Quantifier-free Interpolation in Extensions of Presburger Arithmetic |
---|---|
Links: | Homepage Document as PDF |
Authors: | Angelo Brillout |
Daniel Kroening EMail | |
Philipp Rümmer | |
Thomas Wahl | |
Remarks: | |
Topics: |
Bibtex:
@inproceedings{vmcai2011-2, AUTHOR = { Brillout, Angelo and Kroening, Daniel and R{\"u}mmer, Philipp and Wahl, Thomas }, TITLE = { Beyond Quantifier-free Interpolation in Extensions of {Presburger} Arithmetic }, BOOKTITLE = { Verification, Model Checking, and Abstract Interpretation (VMCAI) }, YEAR = { 2011 }, PUBLISHER = { Springer }, PAGES = { 88--102 }, SERIES = { LNCS }, VOLUME = { 6538 }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.