Incremental Model Checking in the Modal Mu-Calculus
Abstract elided by the publisher.
Related papers
- Modal µ-Calculus, Model Checking and Gauß Elimination TACAS 1995
- 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 Linear-Time Model-Checking Algorithm for the Alternation-Free Modal Mu-Calculus CAV 1991
- Efficient Evidence Generation for Modal μ-Calculus Model Checking TACAS 2025
- A Type-Based HFL Model Checking Algorithm APLAS 2019
- Data Flow Analysis is Model Checking of Abstract Interpretations POPL 1998