Thomas A. Henzinger, Pei-Hsin Ho, and Howard Wong-Toi
HyTech is a tool for the automated analysis of embedded systems. This document, designed for the first-time user of HyTech, guides the reader through the underlying system model, and through the input language for describing and analyzing systems. The guide gives installation instructions, several examples of usage, some hints for gaining maximal computational efficiency from the tool, and the complete grammar for the input language.
This guide describes version 1.04 of HyTech. The latest update occurred in October 1996. HyTech is available through the World-Wide Web at /~tah/HyTech.
Proceedings of the First International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Lecture Notes in Computer Science 1019, Springer, 1995, pp. 41-71.