Decomposing Refinement Proofs Using Assume-Guarantee Reasoning.

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

Browse the full ICCAD paper archive.