Distributed Symbolic Model Checking for µ-Calculus
Abstract elided by the publisher.
Related papers
- Parallel and distributed bounded model checking of multi-threaded programs PPoPP 2020
- Symbolic Model Checking for TLA+ Made Faster TACAS 2023
- Efficient Evidence Generation for Modal μ-Calculus Model Checking TACAS 2025
- TLA+ model checking made symbolic OOPSLA 2019
- A Trace Based Bisimulation for the Spi Calculus: An Extended Abstract APLAS 2007
- The TLA+ Model Checker Apalache CAV 2026
- Software model checking using languages of nested trees TOPLAS 2011
- Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking TACAS 2019