Exploiting Symmetry In Temporal Logic Model Checking
Abstract elided by the publisher.
Related papers
- Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond TACAS 1998
- Utilizing Symmetry when Model-Checking under Fairness Assumptions: An Automata-Theoretic Approach TOPLAS 1997
- Symmetry and reduced symmetry in model checking TOPLAS 2004
- On-the-Fly Model Checking Under Fairness That Exploits Symmetry CAV 1997
- MightyPPL: Model Checking MITL with Past and Pnueli Modalities TACAS 2026
- SPORE: Combining Symmetry and Partial Order Reduction PLDI 2024
- Isomorph-Free Model Enumeration: A New Method for Checking Relational Specifications TOPLAS 1998
- Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs CAV 2011