Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking
No abstract available.
Related papers
- SPORE: Combining Symmetry and Partial Order Reduction PLDI 2024
- Symmetry Reduction for the Local Mu-Calculus TACAS 2018
- Symmetry Reductions in Model-Checking VMCAI 2003
- Symmetry Reduction for Probabilistic Model Checking CAV 2006
- Symmetry Reductions in Model Checking CAV 1998
- Symmetry Reduction in SAT-Based Model Checking CAV 2005
- On-the-Fly Model Checking Under Fairness That Exploits Symmetry CAV 1997
- Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automata-theoretic Approach CAV 1995