Symmetry Reductions in Model-Checking
Abstract elided by the publisher.
Related papers
- Symmetry Reduction for Probabilistic Model Checking CAV 2006
- Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking CAV 2002
- Symmetry Reductions in Model Checking CAV 1998
- Symmetry Reduction in SAT-Based Model Checking CAV 2005
- Symmetry and reduced symmetry in model checking TOPLAS 2004
- SPORE: Combining Symmetry and Partial Order Reduction PLDI 2024
- Symmetry Reduction for the Local Mu-Calculus TACAS 2018
- Isomorph-Free Model Enumeration: A New Method for Checking Relational Specifications TOPLAS 1998