[T1] ================================================ AMAST Links 02 07

                                HyTech
         Automatic Tool for the Analysis of Embedded Systems

  We are pleased to announce that a new version of HyTech is now
publicly available.  HyTech is an automatic tool for the analysis of
embedded systems.  HyTech computes the condition under which a linear
hybrid system satisfies a temporal requirement.  Hybrid systems are
specified as collections of automata with discrete and continuous
components, and temporal requirements are verified by symbolic model
checking. If the verification fails, HyTech generates a diagnostic
error trace.

  HyTech is available by anonymous ftp and on the WWW:
FTP : ftp://ftp.cs.cornell.edu/pub/tah/HyTech
WWW : http://www.cs.cornell.edu/Info/People/tah/hytech.html

  Tom Henzinger, Pei-Hsin Ho, and Howard Wong-Toi.