Advertisement

HYTECH: a model checker for hybrid systems

  • Thomas A. Henzinger
  • Pei-Hsin Ho
  • Howard Wong-Toi
Special section on timed and hybrid systems
Key words: Hybrid systems – Symbolic model checking – Hybrid automata – hytech 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Thomas A. Henzinger
    • 1
  • Pei-Hsin Ho
    • 2
  • Howard Wong-Toi
    • 3
  1. 1.EECS Department, University of California, Berkeley, CA 94720, USA; E-mail: tah@eecs.berkeley.eduUS
  2. 2.Strategic CAD Labs, Intel Corp., 2111 N.E. 25th Avenue, Hillsboro, OR 97124, USA; E-mail: pho@ichips.intel.comUS
  3. 3.Cadence Berkeley Labs, 2001 Addison Street, Third Fl., Berkeley, CA 94704, USA; E-mail: howard@cadence.comUS

Personalised recommendations