18 citations · 20 across the 2 of their papers we have counts for
2 papers
cs.LO2010★ 18 cited
Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic (Extended Technical Report)
Angelo Brillout, Daniel Kroening, Philipp Ruemmer +1
Craig interpolation has emerged as an effective means of generating candidate program invariants. We present interpolation procedures for the theories of Presburger arithmetic comb…
cs.LO2008★ 2 cited
Craig Interpolation for Quantifier-Free Presburger Arithmetic
Angelo Brillout, Daniel Kroening, Thomas Wahl
Craig interpolation has become a versatile algorithmic tool for improving software verification. Interpolants can, for instance, accelerate the convergence of fixpoint computations…