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