Symmetry and Model Checking
No abstract available.
DOI 10.1007/3-540-56922-7_38
Related papers
- Symmetry and Reduced Symmetry in Model Checking CAV 2001
- Symmetry Reductions in Model-Checking VMCAI 2003
- 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
- On-the-Fly Model Checking Under Fairness That Exploits Symmetry CAV 1997
- Symmetry Reductions in Model Checking CAV 1998