Symmetry and Reduced Symmetry in Model Checking
Abstract elided by the publisher.
Related papers
- Symmetry and reduced symmetry in model checking TOPLAS 2004
- Symmetry Reduction for the Local Mu-Calculus TACAS 2018
- Symmetry Reductions in Model-Checking VMCAI 2003
- Symmetry and Model Checking CAV 1993
- Structural Symmetry and Model Checking CAV 1998
- Symmetry Reduction for Probabilistic Model Checking CAV 2006
- Exploiting Symmetry In Temporal Logic Model Checking CAV 1993
- Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking CAV 2002