Hardware timing verification using KRONOS

This publication has 6 references indexed in Scilit:

• Two examples of verification of multirate timed automata with Kronos
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A theory of timed automata
  Published by Elsevier ,2002
• Timing analysis of asynchronous circuits using timed automata
  Published by Springer Nature ,1995
• Symbolic Model Checking for Real-Time Systems
  Information and Computation, 1994
• Model-Checking in Dense Real-Time
  Information and Computation, 1993
• Symbolic Model Checking
  Published by Springer Nature ,1993