Assume-Guarantee Refinement Between Different Time Scales
No abstract available.
Related papers
- An assume-guarantee rule for checking simulation TOPLAS 2002
- Assume-Guarantee Abstraction Refinement for Probabilistic Systems CAV 2012
- Automated Assume-Guarantee Reasoning by Abstraction Refinement CAV 2008
- Pattern-Based Refinement of Assume-Guarantee Specifications in Reactive Synthesis TACAS 2015
- Automated Circular Assume-Guarantee Reasoning with N-way Decomposition and Alphabet Refinement CAV 2016
- A rely-guarantee-based simulation for verifying concurrent program transformations POPL 2012
- Modular Refinement of Hierarchic Reactive Machines POPL 2000
- Rely-Guarantee-Based Simulation for Compositional Verification of Concurrent Program Transformations TOPLAS 2014