Assume-Guarantee Synthesis
No abstract available.
Related papers
- Pattern-Based Refinement of Assume-Guarantee Specifications in Reactive Synthesis TACAS 2015
- Quantitative Assume Guarantee Synthesis CAV 2017
- Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information TACAS 2015
- Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts TACAS 2018
- Optimized L*-Based Assume-Guarantee Reasoning TACAS 2007
- Learning-Based Assume-Guarantee Regression Verification CAV 2016
- Assume-Guarantee Refinement Between Different Time Scales CAV 1999
- Automated Assume-Guarantee Reasoning by Abstraction Refinement CAV 2008