Ufo: A Framework for Abstraction- and Interpolation-Based Software Verification.

Aws Albarghouthi, Yi Li, Arie Gurfinkel, Marsha Chechik

Browse the full CAV paper archive.