Verification methods for the divergent runs of clock systems

This publication has 13 references indexed in Scilit:

• Automata for modeling real-time systems
  Published by Springer Nature ,2005
• Symbolic model checking for real-time systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Finitary fairness
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• The Observational Power of Clocks
  Published by Springer Nature ,1994
• Time-adaptive algorithms for synchronization
  Published by Association for Computing Machinery (ACM) ,1994
• Sooner is safer than later
  Information Processing Letters, 1992
• Forward and backward simulations for timing-based systems
  Published by Springer Nature ,1992
• Logics and models of real time: A survey
  Published by Springer Nature ,1992
• An old-fashioned recipe for real time
  Published by Springer Nature ,1992
• Temporal proof methodologies for real-time systems
  Published by Association for Computing Machinery (ACM) ,1991