You Assume, We Guarantee: Methodology and Case Studies.

Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani

Browse the full CAV paper archive.