Automated Assume-Guarantee Reasoning for Simulation Conformance

Sagar Chaki, Edmund M. Clarke, Nishant Sinha, Prasanna Thati. Automated Assume-Guarantee Reasoning for Simulation Conformance. In Kousha Etessami, Sriram K. Rajamani, editors, Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings. Volume 3576 of Lecture Notes in Computer Science, pages 534-547, Springer, 2005. [doi]

Authors

Sagar Chaki

This author has not been identified. Look up 'Sagar Chaki' in Google

Edmund M. Clarke

This author has not been identified. Look up 'Edmund M. Clarke' in Google

Nishant Sinha

This author has not been identified. Look up 'Nishant Sinha' in Google

Prasanna Thati

This author has not been identified. Look up 'Prasanna Thati' in Google