HYTECH: The Cornell Hybrid Technology Tool

Tom Henzinger
Pei-Hsin Ho

In TACAS, pages 29--43


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.

Cornell, USA.

Available as PostScript, DVI.

[BRICS symbol] BRICS WWW home page