Automated Assume-Guarantee Reasoning for Simulation Conformance

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/11513988_51 ◽

2005 ◽

pp. 534-547 ◽

Cited By ~ 31

Author(s):

Sagar Chaki ◽

Edmund Clarke ◽

Nishant Sinha ◽

Prasanna Thati

Download Full-text