An Assume-Guarantee Rule for Checking Simulation.

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

Browse the full FMCAD paper archive.