Name
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, some hints for gaining maximal computational efficiency from the tool, and the complete grammar for the input language. 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 |
Year | DOI | Venue |
|---|---|---|
1995 | 10.1007/3-540-60630-0_3 | TACAS |
Keywords | Field | DocType |
world-wide web,underlying system model,maximal computational efficiency,user guide,complete grammar,input language,first-time user,home page,embedded system,automated analysis,technical report,computer science,system modeling | File Transfer Protocol,World Wide Web,Programming language,Computer science,Directory,Grammar,Boolean expression,System model,Home page,Hybrid automaton | Conference |
ISBN | Citations | PageRank |
3-540-60630-0 | 150 | 19.66 |
References | Authors | |
38 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Thomas A. Henzinger | 1 | 14827 | 1317.51 |
| Pei-hsin Ho | 2 | 2577 | 305.29 |
| Howard Wong-Toi | 3 | 1003 | 129.50 |