Veri cation Methods for theDivergent Runs of Clock Systems yThomas

  • Thomas A. Henzingerz, Peter W. Kopkex
  • Published 1994

Abstract

We present a methodology for proving temporal properties of the divergent runs of reactive systems with real-valued clocks. A run diverges if time advances beyond any bound. Since the divergent runs of a system may satisfy liveness properties that are not satissed by some convergent runs, the standard proof rules are incomplete if only divergent runs are… (More)

Topics

Cite this paper

@inproceedings{Henzingerz1994VeriCM, title={Veri cation Methods for theDivergent Runs of Clock Systems yThomas}, author={Thomas A. Henzingerz and Peter W. Kopkex}, year={1994} }