BIB-VERSION:: CS-TR-v2.0
          ID:: STAN//CS-TR-91-1360
       ENTRY:: September 01, 1994
ORGANIZATION:: Stanford University, Department of Computer Science
       TITLE:: Sooner is safer than later.
        TYPE:: Technical Report
      AUTHOR:: Henzinger, Thomas A.
        DATE:: May 1991
       PAGES:: 12
    ABSTRACT:: It has been repeatedly observed that the standard
               safety-liveness classification of properties of reactive
               systems does not fit for real-time properties. This is
               because the implicit "liveness" of time shifts the spectrum
               towards the safety side. While, for example, response--that
               "something good" will happen, eventually--is a classical
               liveness property, bounded response--that "something good"
               will happen soon, within a certain amount of time--has many
               characteristics of safety. We account for this phenomenon
               formally by defining safety and liveness relative to a given
               condition, such as the progress of time.
       NOTES:: [Adminitrivia V1/RAM/19940901]
         END:: STAN//CS-TR-91-1360