A user guide to HyTech

This publication has 36 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
• The algorithmic analysis of hybrid systems
  Theoretical Computer Science, 1995
• Verification of context-free timed systems using linear hybrid observers
  Published by Springer Nature ,1994
• Verifying invariance properties of timed systems with duration variables
  Published by Springer Nature ,1994
• Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems
  Published by Springer Nature ,1993
• Delay analysis in synchronous programs
  Published by Springer Nature ,1993
• Computing accumulated delays in real-time systems
  Published by Springer Nature ,1993
• A calculus of durations
  Information Processing Letters, 1991
• Automatic discovery of linear restraints among variables of a program
  Published by Association for Computing Machinery (ACM) ,1978