Optimized L*-Based Assume-Guarantee Reasoning
No abstract available.
Related papers
- Automated Assume-Guarantee Reasoning by Abstraction Refinement CAV 2008
- Automated Assume-Guarantee Reasoning for Simulation Conformance CAV 2005
- On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning ESOP 2007
- Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams TACAS 2001
- Automated Circular Assume-Guarantee Reasoning with N-way Decomposition and Alphabet Refinement CAV 2016
- Automated Assume-Guarantee Reasoning through Implicit Learning CAV 2010
- Assume-Guarantee Abstraction Refinement for Probabilistic Systems CAV 2012
- Quantitative Assume Guarantee Synthesis CAV 2017