Local model checking for infinite state spaces
- 1 April 1992
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 96 (1) , 157-174
- https://doi.org/10.1016/0304-3975(92)90183-g
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- CTL* and ECTL* as fragments of the modal μ-calculusLecture Notes in Computer Science, 1992
- Local model checking in the modal mu-calculusTheoretical Computer Science, 1991
- SnS can be modally characterizedTheoretical Computer Science, 1990
- Proof systems for satisfiability in Hennessy-Milner Logic with recursionTheoretical Computer Science, 1990
- An automata theoretic decision procedure for the propositional mu-calculusInformation and Computation, 1989
- Modal logics for communicating systemsTheoretical Computer Science, 1987
- Results on the propositional μ-calculusTheoretical Computer Science, 1983
- A decidable mu-calculus: Preliminary reportPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1981