Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Conference Paper

Optimized L*-Based Assume-Guarantee Reasoning

  • March 2007
  • By 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.

  • Download