Sciweavers

TACAS
1995
Springer

A User Guide to HyTech

14 years 2 months ago
A User Guide to HyTech
HyTech is a tool for the automated analysis of embedded systems. This document, designed for the rst-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 e ciency from the tool, and the complete grammar for the input language.
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi
Added 26 Aug 2010
Updated 26 Aug 2010
Type Conference
Year 1995
Where TACAS
Authors Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi
Comments (0)