Automated Assume-Guarantee Reasoning by Abstraction Refinement
No abstract available.
Related papers
- Automated Circular Assume-Guarantee Reasoning with N-way Decomposition and Alphabet Refinement CAV 2016
- Assume-Guarantee Abstraction Refinement for Probabilistic Systems CAV 2012
- Automated Assume-Guarantee Reasoning for Simulation Conformance CAV 2005
- Automated Assume-Guarantee Reasoning through Implicit Learning CAV 2010
- CEGAR for Qualitative Analysis of Probabilistic Systems CAV 2014
- Modular refinement of hierarchic reactive machines TOPLAS 2004
- Modular Refinement of Hierarchic Reactive Machines POPL 2000
- Assume-Guarantee Refinement Between Different Time Scales CAV 1999