Model checking and boolean graphs

This publication has 7 references indexed in Scilit:

• Compositional checking of satisfaction
  Formal Methods in System Design, 1992
• A linear-time model-checking algorithm for the alternation-free modal mu-calculus
  Published by Springer Nature ,1992
• Tableau-based model checking in the propositional mu-calculus
  Acta Informatica, 1990
• A linear algorithm to solve fixed-point equations on transition systems
  Information Processing Letters, 1988
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
  The Journal of Logic Programming, 1984
• Results on the propositional μ-calculus
  Theoretical Computer Science, 1983
• A lattice-theoretical fixpoint theorem and its applications
  Pacific Journal of Mathematics, 1955