Local model checking for real-time systems

This publication has 18 references indexed in Scilit:

• A theory of timed automata
  Published by Elsevier ,2002
• Symbolic Model Checking for Real-Time Systems
  Information and Computation, 1994
• Model checking and boolean graphs
  Theoretical Computer Science, 1994
• An automata-theoretic approach to branching-time model checking (Extended abstract)
  Published by Springer Nature ,1994
• Model-Checking in Dense Real-Time
  Information and Computation, 1993
• A linear-time model-checking algorithm for the alternation-free modal mu-calculus
  Formal Methods in System Design, 1993
• Minimal state graph generation
  Science of Computer Programming, 1992
• Local model checking in the modal mu-calculus
  Theoretical Computer Science, 1991
• Results on the propositional μ-calculus
  Theoretical Computer Science, 1983
• Constructive versions of Tarski’s fixed point theorems
  Pacific Journal of Mathematics, 1979