Automated Circular Assume-Guarantee Reasoning with N-way Decomposition and Alphabet Refinement
Abstract elided by the publisher.
Related papers
- Automated Assume-Guarantee Reasoning by Abstraction Refinement CAV 2008
- An assume-guarantee rule for checking simulation TOPLAS 2002
- Assume-Guarantee Abstraction Refinement for Probabilistic Systems CAV 2012
- Automata Learning with Automated Alphabet Abstraction Refinement VMCAI 2011
- Automated Assume-Guarantee Reasoning for Simulation Conformance CAV 2005
- Automated Assume-Guarantee Reasoning through Implicit Learning CAV 2010
- Race checking by context inference PLDI 2004
- Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics CAV 2019