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