Program Verification via Craig Interpolation for Presburger Arithmetic with Arrays.

Angelo Brillout, Daniel Kroening, Philipp Rmmer, Thomas Wahl

Browse the full CADE paper archive.