A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal Mu-Calculus
No abstract available.
Related papers
- Efficient static analysis of XML paths and types PLDI 2007
- Parallel Model Checking for the Alternation Free µ-Calculus TACAS 2001
- 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
- Local Model-Checking of Modal Mu-Calculus on Acyclic Labeled Transition Systems TACAS 2002
- Efficent Local Model-Checking for Fragments of teh Modal µ-Calculus TACAS 1996
- A Type-Based HFL Model Checking Algorithm APLAS 2019