A user guide to HyTech [chapter]

Thomas A. Henzinger, Pei -Hsin Ho, Howard Wong-Toi
1995 Lecture Notes in Computer Science  
HvTEcrl 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 several examples of usage, and some hints for gaining maximal computational efficiency from the tool.
doi:10.1007/3-540-60630-0_3 fatcat:ojtnfhyvbbblzct4jk6kiiwho4