UFO: Verification with Interpolants and Abstract Interpretation - (Competition Contribution).

Aws Albarghouthi, Arie Gurfinkel, Yi Li, Sagar Chaki, Marsha Chechik

Browse the full TACAS paper archive.