Combining Partial Order and Symmetry Reductions
No abstract available.
Related papers
- SPORE: Combining Symmetry and Partial Order Reduction PLDI 2024
- Partial Order Reduction for Deep Bug Finding in Synchronous Hardware TACAS 2020
- Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking CAV 2002
- Combining Partial Order Reductions with On-the-fly Model-Checking CAV 1994
- What's Wrong with On-the-Fly Partial Order Reduction CAV 2019
- Isomorph-Free Model Enumeration: A New Method for Checking Relational Specifications TOPLAS 1998
- Bounded partial-order reduction OOPSLA 2013
- Symmetry and reduced symmetry in model checking TOPLAS 2004