Efficent Local Model-Checking for Fragments of teh Modal µ-Calculus
Abstract elided by the publisher.
Related papers
- Local Model-Checking of Modal Mu-Calculus on Acyclic Labeled Transition Systems TACAS 2002
- A fixpoint calculus for local and global program flows POPL 2006
- Modal µ-Calculus, Model Checking and Gauß Elimination TACAS 1995
- Incremental Model Checking in the Modal Mu-Calculus CAV 1994
- Faster Model Checking for the Modal Mu-Calculus CAV 1992
- A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal Mu-Calculus CAV 1991
- MightyPPL: Model Checking MITL with Past and Pnueli Modalities TACAS 2026
- Efficient Evidence Generation for Modal μ-Calculus Model Checking TACAS 2025