Structural Symmetry and Model Checking
Abstract elided by the publisher.
Related papers
- Symmetry and reduced symmetry in model checking TOPLAS 2004
- Utilizing Symmetry when Model-Checking under Fairness Assumptions: An Automata-Theoretic Approach TOPLAS 1997
- SPORE: Combining Symmetry and Partial Order Reduction PLDI 2024
- Isomorph-Free Model Enumeration: A New Method for Checking Relational Specifications TOPLAS 1998
- Symmetry and Reduced Symmetry in Model Checking CAV 2001
- Symmetry Reductions in Model-Checking VMCAI 2003
- Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs CAV 2011
- Symmetry and Model Checking CAV 1993