SMC: A Symmetry Based Model Checker for Verification of Liveness Properties
No abstract available.
Related papers
- Symmetry Reduction for the Local Mu-Calculus TACAS 2018
- Automatic Completion of Distributed Protocols with Symmetry CAV 2015
- The TLA+ Model Checker Apalache CAV 2026
- Fair stateless model checking PLDI 2008
- Kratos2: An SMT-Based Model Checker for Imperative Programs CAV 2023
- Quantum Probabilistic Model Checking for Time-Bounded Properties OOPSLA 2024
- Effective lock handling in stateless model checking OOPSLA 2019
- Multi-agent Safety Verification Using Symmetry Transformations TACAS 2020