Some progress in the symbolic verification of timed automata

This publication has 27 references indexed in Scilit:

• Approximate reachability analysis of timed automata
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A Kleene theorem for timed automata
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A theory of timed automata
  Published by Elsevier ,2002
• Timing analysis in COSPAN
  Published by Springer Nature ,1996
• Timing Verification by Successive Approximation
  Information and Computation, 1995
• Real-time symbolic model checking for discrete time models
  Published by World Scientific Pub Co Pte Ltd ,1995
• Symbolic controller synthesis for discrete and timed systems
  Published by Springer Nature ,1995
• Model-Checking in Dense Real-Time
  Information and Computation, 1993
• Modeling and verification of time dependent systems using time Petri nets
  IEEE Transactions on Software Engineering, 1991
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986