A Complete Method for Symmetry Reduction in Safety Verification
Abstract elided by the publisher.
Related papers
- Symmetry Reduction for the Local Mu-Calculus TACAS 2018
- SART: Sign-Absolute Reformulation Theory for Binary Variable Reduction in Neural Network Verification OOPSLA 2026
- Multi-agent Safety Verification Using Symmetry Transformations TACAS 2020
- SPORE: Combining Symmetry and Partial Order Reduction PLDI 2024
- Automatic Completion of Distributed Protocols with Symmetry CAV 2015
- Cartesian hoare logic for verifying k-safety properties PLDI 2016
- Exploiting Synchrony and Symmetry in Relational Verification CAV 2018
- Parameterized verification of transactional memories PLDI 2010