Model checking and boolean graphs
- 11 April 1994
- journal article
- Published by Elsevier BV in Theoretical Computer Science
- Vol. 126 (1), 3-30
- https://doi.org/10.1016/0304-3975(94)90266-6
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Compositional checking of satisfactionFormal Methods in System Design, 1992
- A linear-time model-checking algorithm for the alternation-free modal mu-calculusLecture Notes in Computer Science, 1992
- Tableau-based model checking in the propositional mu-calculusActa Informatica, 1990
- A linear algorithm to solve fixed-point equations on transition systemsInformation Processing Letters, 1988
- Linear-time algorithms for testing the satisfiability of propositional horn formulaeThe Journal of Logic Programming, 1984
- Results on the propositional μ-calculusTheoretical Computer Science, 1983
- A lattice-theoretical fixpoint theorem and its applicationsPacific Journal of Mathematics, 1955