2 citations · 2 across the 1 of their papers we have counts for
1 paper
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…