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