A user guide to HyTech

  • Thomas A. Henzinger
  • Pei -Hsin Ho
  • Howard Wong-Toi
Conference paper

DOI: 10.1007/3-540-60630-0_3

Volume 1019 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Henzinger T.A., Ho P.H., Wong-Toi H. (1995) A user guide to HyTech. In: Brinksma E., Cleaveland W.R., Larsen K.G., Margaria T., Steffen B. (eds) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 1995. Lecture Notes in Computer Science, vol 1019. Springer, Berlin, Heidelberg

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, and some hints for gaining maximal computational efficiency from the tool.

The version of HyTech described in this guide was released in August 1995, and is available through anonymous ftp from ftp.cs.cornell.edu in the directory pub/tah/HyTech, and through the World-Wide Web via HyTech's home page http:/www.cs.cornell.edu/Info/People/tah/hytech.html.

Download to read the full conference paper text

Copyright information

© Springer-Verlag 1995

Authors and Affiliations

  • Thomas A. Henzinger
  • Pei -Hsin Ho
  • Howard Wong-Toi

There are no affiliations available