HyTech: The Cornell Hybrid Technology Tool

This publication has 17 references indexed in Scilit:

• Automatic symbolic verification of embedded systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• The algorithmic analysis of hybrid systems
  Theoretical Computer Science, 1995
• Verification of real-time systems by successive over and under approximation
  Published by Springer Nature ,1995
• Verification of an audio control protocol
  Published by Springer Nature ,1994
• Modeling and analysis of real-time Ada tasking programs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1994
• Parametric real-time reasoning
  Published by Association for Computing Machinery (ACM) ,1993
• 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
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• Automatic discovery of linear restraints among variables of a program
  Published by Association for Computing Machinery (ACM) ,1978