Automated Assume-Guarantee Reasoning through Implicit Learning
No abstract available.
Related papers
- Automated Assume-Guarantee Reasoning by Abstraction Refinement CAV 2008
- Automated Assume-Guarantee Reasoning for Simulation Conformance CAV 2005
- Automated Circular Assume-Guarantee Reasoning with N-way Decomposition and Alphabet Refinement CAV 2016
- Learning-Based Assume-Guarantee Regression Verification CAV 2016
- Assume-Guarantee Abstraction Refinement for Probabilistic Systems CAV 2012
- Assume, Guarantee or Repair TACAS 2020
- Optimized L*-Based Assume-Guarantee Reasoning TACAS 2007
- On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning ESOP 2007