Symmetry and Completeness in the Analysis of Parameterized Systems
Abstract elided by the publisher.
Related papers
- Parameterized verification of transactional memories PLDI 2010
- Learning Symmetric Invariants from Symmetric Samples OOPSLA 2026
- A Complete Method for Symmetry Reduction in Safety Verification CAV 2012
- Automatic Completion of Distributed Protocols with Symmetry CAV 2015
- An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories POPL 2026
- Integrating Low Level Symmetries into Reachability Analysis TACAS 2000
- Parameterized verification under TSO is PSPACE-complete POPL 2020
- Multi-agent Safety Verification Using Symmetry Transformations TACAS 2020