search menu icon-carat-right cmu-wordmark

Optimized L*-Based Assume-Guarantee Reasoning

March 2007 Conference Paper
Sagar Chaki, Ofer Strichman

Paper from the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2007.

Publisher:

Software Engineering Institute

Abstract

Paper from the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2007.