Local Symmetry and Compositional Verification
Abstract elided by the publisher.
Related papers
- Symmetry Reduction for the Local Mu-Calculus TACAS 2018
- Keynote Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion CAV 2000
- CosySEL: Improving SAT Solving Using Local Symmetries VMCAI 2023
- A Complete Method for Symmetry Reduction in Safety Verification CAV 2012
- SMC: A Symmetry Based Model Checker for Verification of Liveness Properties CAV 1997
- Local and Compositional Reasoning for Optimized Reactive Systems CAV 2019
- Compositional Verification of Smart Contracts Through Communication Abstraction SAS 2021
- Multi-agent Safety Verification Using Symmetry Transformations TACAS 2020