Automated Assume-Guarantee Reasoning for Simulation Conformance.

Sagar Chaki, Edmund M. Clarke, Nishant Sinha, Prasanna Thati

Browse the full CAV paper archive.