Local Model-Checking of Modal Mu-Calculus on Acyclic Labeled Transition Systems
Abstract elided by the publisher.
Related papers
- Efficent Local Model-Checking for Fragments of teh Modal µ-Calculus TACAS 1996
- Model Checking Modal Transition Systems Using Kripke Structures VMCAI 2002
- Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems TACAS 2012
- CTL* Model Checking on Infinite Families of Finite-State Labeled Transition Systems TACAS 2026
- Bigraphs and transitions POPL 2003
- 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