Software Engineering Institute

Optimized L*-Based Assume-Guarantee Reasoning

March 1, 2007 • Conference Paper

By

Sagar Chaki and 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.

Ask a question about this Conference Paper