Optimized L*-Based Assume-Guarantee Reasoning

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

WHITE PAPER

Optimized L*-Based Assume-Guarantee Reasoning*

PDF

Authors

Sagar Chaki

Ofer Strichman

Software Engineering Institute
March 2007

Find Us Here

Find us on Youtube  Find us on LinkedIn  Find us on twitter  Find us on Facebook

Share This Page

Share on Facebook  Send to your Twitter page  Save to del.ico.us  Save to LinkedIn  Digg this  Stumble this page.  Add to Technorati favorites  Save this page on your Google Home Page 

For more information

Contact Us

info@sei.cmu.edu

412-268-5800

Help us improve

Visitor feedback helps us continually improve our site.

Please tell us what you
think with this short
(< 5 minute) survey.