Model checking and boolean graphs

This publication has 9 references indexed in Scilit:

• Compositionality through an operational semantics of contexts
  Published by Springer Nature ,2005
• Computer Aided Verification
  Published by Springer Nature ,1992
• Tableau-based model checking in the propositional mu-calculus
  Acta Informatica, 1990
• Local model checking in the modal mu-calculus
  Lecture Notes in Computer Science, 1989
• A note on model checking the modal v-calculus
  Published by Springer Nature ,1989
• 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