HYTECH: The Cornell Hybrid Technology Tool
In TACAS, pages
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.
Available as PostScript,
BRICS WWW home page