Now showing items 1-1 of 1

    • A User Guide to HyTech 

      Henzinger, Thomas A.,; Ho, Pei-Hsin; Wong-Toi, Howard (Cornell University, 1995-08)
      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 ...