---
_id: '4497'
abstract:
- lang: eng
  text: "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, and some hints for gaining maximal
    computational efficiency from the tool.\r\nThe 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."
acknowledgement: This research was supported in part by the ONR YIP award N00014-95-1-0520,
  by the NSF CAREER award CCR-9501708, by the NSF grants CCR-9200794 and CCR-9504469,
  by the AFOSR contract F49620-93-1-0056, and by the ARPA grant NAG2-892.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Thomas A
  full_name: Henzinger, Thomas A
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000−0002−2985−7724
- first_name: Pei
  full_name: Ho, Pei
  last_name: Ho
- first_name: Howard
  full_name: Wong Toi, Howard
  last_name: Wong Toi
citation:
  ama: 'Henzinger TA, Ho P, Wong Toi H. A user guide to HyTech. In: <i>1st International
    Workshop on Tools and Algorithms for the Construction and Analysis of Systems</i>.
    Vol 1019. Springer; 1995:41-71. doi:<a href="https://doi.org/10.1007/3-540-60630-0_3">10.1007/3-540-60630-0_3</a>'
  apa: 'Henzinger, T. A., Ho, P., &#38; Wong Toi, H. (1995). A user guide to HyTech.
    In <i>1st International Workshop on Tools and Algorithms for the Construction
    and Analysis of Systems</i> (Vol. 1019, pp. 41–71). Aarhus, Denmark: Springer.
    <a href="https://doi.org/10.1007/3-540-60630-0_3">https://doi.org/10.1007/3-540-60630-0_3</a>'
  chicago: Henzinger, Thomas A, Pei Ho, and Howard Wong Toi. “A User Guide to HyTech.”
    In <i>1st International Workshop on Tools and Algorithms for the Construction
    and Analysis of Systems</i>, 1019:41–71. Springer, 1995. <a href="https://doi.org/10.1007/3-540-60630-0_3">https://doi.org/10.1007/3-540-60630-0_3</a>.
  ieee: T. A. Henzinger, P. Ho, and H. Wong Toi, “A user guide to HyTech,” in <i>1st
    International Workshop on Tools and Algorithms for the Construction and Analysis
    of Systems</i>, Aarhus, Denmark, 1995, vol. 1019, pp. 41–71.
  ista: 'Henzinger TA, Ho P, Wong Toi H. 1995. A user guide to HyTech. 1st International
    Workshop on Tools and Algorithms for the Construction and Analysis of Systems.
    TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS,
    vol. 1019, 41–71.'
  mla: Henzinger, Thomas A., et al. “A User Guide to HyTech.” <i>1st International
    Workshop on Tools and Algorithms for the Construction and Analysis of Systems</i>,
    vol. 1019, Springer, 1995, pp. 41–71, doi:<a href="https://doi.org/10.1007/3-540-60630-0_3">10.1007/3-540-60630-0_3</a>.
  short: T.A. Henzinger, P. Ho, H. Wong Toi, in:, 1st International Workshop on Tools
    and Algorithms for the Construction and Analysis of Systems, Springer, 1995, pp.
    41–71.
conference:
  end_date: 1995-05-20
  location: Aarhus, Denmark
  name: 'TACAS: Tools and Algorithms for the Construction and Analysis of Systems'
  start_date: 1995-05-19
date_created: 2018-12-11T12:09:09Z
date_published: 1995-01-01T00:00:00Z
date_updated: 2022-06-10T09:00:05Z
day: '01'
doi: 10.1007/3-540-60630-0_3
extern: '1'
intvolume: '      1019'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/chapter/10.1007/3-540-60630-0_3
month: '01'
oa_version: None
page: 41 - 71
publication: 1st International Workshop on Tools and Algorithms for the Construction
  and Analysis of Systems
publication_identifier:
  isbn:
  - '9783540606307'
publication_status: published
publisher: Springer
publist_id: '230'
quality_controlled: '1'
scopus_import: '1'
status: public
title: A user guide to HyTech
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 1019
year: '1995'
...