Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automata-theoretic Approach
Abstract elided by the publisher.
Related papers
- Utilizing Symmetry when Model-Checking under Fairness Assumptions: An Automata-Theoretic Approach TOPLAS 1997
- On-the-Fly Model Checking Under Fairness That Exploits Symmetry CAV 1997
- Automatic Completion of Distributed Protocols with Symmetry CAV 2015
- State/Event-Based LTL Model Checking under Parametric Generalized Fairness CAV 2011
- From Natural Projection to Partial Model Checking and Back TACAS 2018
- An automata-theortetic approach to modular model checking TOPLAS 2000
- An Automata-Theoretic Approach to Fair Realizability and Synthesis CAV 1995
- Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking CAV 2002