HYTECH: The Cornell Hybrid Technology Tool
Tom Henzinger
Pei-Hsin Ho
In TACAS, pages
29--43
Abstract:
HyTech, the Cornell Hybrid Technology Tool, is an automatic
tool for analyzing hybrid systems. We review some of the formal technologies
that have been incorporated into HyTech, and we illustrate the use of HyTech
with two nontrivial case studies.
Comments
Cornell, USA.
Available as PostScript,
DVI.
![[BRICS symbol]](http://www.brics.aau.dk/BRICS/GIF/BRICS/msymbol8mm.GIF)
BRICS WWW home page