On discretization of delays in timed automata and digital circuits

This publication has 13 references indexed in Scilit:

• Hardware timing verification using KRONOS
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A theory of timed automata
  Published by Elsevier ,2002
• Some progress in the symbolic verification of timed automata
  Published by Springer Nature ,1997
• Data-structures for the verification of timed automata
  Published by Springer Nature ,1997
• The tool Kronos
  Published by Springer Nature ,1996
• Asynchronous Circuits
  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
• What good are digital clocks?
  Published by Springer Nature ,1992
• Timing assumptions and verification of finite-state concurrent systems
  Published by Springer Nature ,1990