Whale: An Interpolation-based Algorithm for Inter-procedural Verification Aws Albarghouthi1 , Arie Gurfinkel2 , and Marsha Chechik1 1 2 - Arie - Document - PDFSEARCH.IO

First Page	Meta Content
	Whale: An Interpolation-based Algorithm for Inter-procedural Verification Aws Albarghouthi1 , Arie Gurfinkel2 , and Marsha Chechik1 1 2 Add to Reading List Document Date: 2012-05-01 12:40:03 Open Document File Size: 675,25 KB Share Result on Facebook

Whale: An Interpolation-based Algorithm for Inter-procedural Verification Aws Albarghouthi1 , Arie Gurfinkel2 , and Marsha Chechik1 1 2Add to Reading List