Interpolation-Based Software Verification with Wolverine.

Daniel Kroening, Georg Weissenbacher

Browse the full CAV paper archive.