On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata

This publication has 15 references indexed in Scilit:

• A theory of timed automata
  Published by Elsevier ,2002
• UPPAAL - Now, Next, and Future
  Published by Springer Nature ,2001
• Model checking timed automata
  Published by Springer Nature ,1998
• KRONOS: a verification tool for real-time systems
  International Journal on Software Tools for Technology Transfer, 1997
• Uppaal in a nutshell
  International Journal on Software Tools for Technology Transfer, 1997
• Uppaal in 1995
  Published by Springer Nature ,1996
• The tool Kronos
  Published by Springer Nature ,1996
• Symbolic Model Checking for Real-Time Systems
  Information and Computation, 1994
• An efficient algorithm for minimizing real-time transition systems
  Lecture Notes in Computer Science, 1993
• Timing assumptions and verification of finite-state concurrent systems
  Published by Springer Nature ,1990