Parallel Model Checking for the Alternation Free µ-Calculus
No abstract available.
Related papers
- A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal Mu-Calculus CAV 1991
- Efficient static analysis of XML paths and types PLDI 2007
- Model Checking Race-Freedom When "Sequential Consistency for Data-Race-Free Programs" is Guaranteed CAV 2023
- AutoHyper: Explicit-State Model Checking for HyperLTL TACAS 2023
- An Extension of ATL with Strategy Interaction TOPLAS 2015
- Multiparty Session Types with a Bang! ESOP 2025
- Modeling wildcard-free MPI programs for verification PPoPP 2005
- Software model checking using languages of nested trees TOPLAS 2011