Whale: An Interpolation-Based Algorithm for Inter-procedural Verification.

Aws Albarghouthi, Arie Gurfinkel, Marsha Chechik

Browse the full VMCAI paper archive.