Skip to main content


eCommons@Cornell >
College of Engineering >
Computer Science >
Computer Science Technical Reports >

Please use this identifier to cite or link to this item:
Title: A User Guide to HyTech
Authors: Henzinger, Thomas A.,
Ho, Pei-Hsin
Wong-Toi, Howard
Keywords: computer science
technical report
Issue Date: Aug-1995
Publisher: Cornell University
Abstract: 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 several examples of usage, some hints for gaining maximal computational efficiency from the tool, and the complete grammar for the input language. The version of HyTech described in this guide was released in August 1995, and is available through anonymous ftp from in the directory ~pub/tah/HyTech, and through the World-Wide Web via HyTech's home page
Appears in Collections:Computer Science Technical Reports

Files in This Item:

File Description SizeFormat
95-1532.pdf419.71 kBAdobe PDFView/Open
95-1532.ps362 kBPostscriptView/Open

Refworks Export

Items in eCommons are protected by copyright, with all rights reserved, unless otherwise indicated.


© 2014 Cornell University Library Contact Us