Automated Assume-Guarantee Reasoning for Simulation Conformance
Abstract elided by the publisher.
Related papers
- Assume-Guarantee Abstraction Refinement for Probabilistic Systems CAV 2012
- Automated Assume-Guarantee Reasoning by Abstraction Refinement CAV 2008
- Automated Circular Assume-Guarantee Reasoning with N-way Decomposition and Alphabet Refinement CAV 2016
- Automated Assume-Guarantee Reasoning through Implicit Learning CAV 2010
- CEGAR for Qualitative Analysis of Probabilistic Systems CAV 2014
- An assume-guarantee rule for checking simulation TOPLAS 2002
- Optimized L*-Based Assume-Guarantee Reasoning TACAS 2007
- On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning ESOP 2007