Compositional model checking of real time systems

This publication has 18 references indexed in Scilit:

• A theory of timed automata
  Published by Elsevier ,2002
• Partial model checking
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1995
• Automatic synthesis of real time systems
  Lecture Notes in Computer Science, 1995
• Symmetry and model checking
  Published by Springer Nature ,1993
• Exploiting symmetry in temporal logic model checking
  Published by Springer Nature ,1993
• Compositional checking of satisfaction
  Formal Methods in System Design, 1992
• Compositionality Through an Operational Semantics of Contexts
  Journal of Logic and Computation, 1991
• Relating processes with respect to speed
  Published by Springer Nature ,1991
• The use of static constructs in a model process logic
  Lecture Notes in Computer Science, 1989
• A lattice-theoretical fixpoint theorem and its applications
  Pacific Journal of Mathematics, 1955