Compositional checking of satisfaction

This publication has 9 references indexed in Scilit:

• Definable operations in general algebras, and the theory of automata and flowcharts
  Published by Springer Nature ,2006
• Compositionality through an operational semantics of contexts
  Published by Springer Nature ,2005
• On the compositional checking of validity
  Published by Springer Nature ,2005
• Compositional model checking
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• 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
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• A lattice-theoretical fixpoint theorem and its applications
  Pacific Journal of Mathematics, 1955