Mixed abstractions for floating-point arithmetic
Brillout, A., Kroening, D., Wahl, T.
Published in 2009 Formal Methods in Computer-Aided Design (01.11.2009)
Published in 2009 Formal Methods in Computer-Aided Design (01.11.2009)
Get full text
Conference Proceeding
An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic
Brillout, Angelo, Kroening, Daniel, Rümmer, Philipp, Wahl, Thomas
Published in Journal of automated reasoning (01.12.2011)
Published in Journal of automated reasoning (01.12.2011)
Get full text
Journal Article
Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic
Brillout, Angelo, Kroening, Daniel, Rümmer, Philipp, Wahl, Thomas
Published in Verification, Model Checking, and Abstract Interpretation (2011)
Published in Verification, Model Checking, and Abstract Interpretation (2011)
Get full text
Book Chapter
Conference Proceeding
Beyond quantifier-free interpolation in extensions of Presburger arithmetic
Brillout, Angelo, Kroening, Daniel, Rümmer, Philipp, Wahl, Thomas
Published in Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation (23.01.2011)
Published in Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation (23.01.2011)
Get full text
Conference Proceeding
Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic (Extended Technical Report)
Brillout, Angelo, Kroening, Daniel, Ruemmer, Philipp, Wahl, Thomas
Published in arXiv.org (03.11.2010)
Published in arXiv.org (03.11.2010)
Get full text
Paper
Journal Article