HyTech

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, then HyTech generates a diagnostic error trace.

Downloads:

Download site : http://www-cad.eecs.berkeley.edu/~tah/HyTech/

Version : 1.04f

Date added : October 12, 2005

Documentation:

User Manuals

Directly from HyTech website : http://www-cad.eecs.berkeley.edu/~tah/HyTech/

Related Publications

Directly from HyTech website : http://www-cad.eecs.berkeley.edu/~tah/HyTech/

Developers:

Thomas A. Henzinger, Department of Electrical Engineering and Computer Sciences, University of California at Berkeley. Howard Wong-Toi.