Now showing items 1-2 of 2

    • The Expressive Power of Clocks 

      Henzinger, Thomas A.; Kopke, Peter W.; Wong-Toi, Howard (Cornell University, 1995-04)
      We investigate the expressive power of timing restrictions on labeled transition systems. In particular, we show how constraints on clock variables together with a uniform liveness condition---the divergence of time---can ...
    • 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 ...