Sooner Is Safer Than Later

article Sooner Is Safer Than Later published yes Thomas A Henzinger author 40876CD8-F248-11E8-B48F-1D18A9856A870000−0002−2985−7724 It has been observed repeatedly that the standard safety-liveness classification for properties of reactive systems does not fit for real-time properties. This is because the implicit “liveliness” 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. Elsevier1992 eng Information Processing Letters 0020-019010.1016/0020-0190(92)90005-G 433135 - 141 yes Henzinger TA. 1992. Sooner Is Safer Than Later. Information Processing Letters. 43(3), 135–141. T.A. Henzinger, Information Processing Letters 43 (1992) 135–141. Henzinger TA. Sooner Is Safer Than Later. Information Processing Letters. 1992;43(3):135-141. doi:<a href="https://doi.org/10.1016/0020-0190(92)90005-G">10.1016/0020-0190(92)90005-G</a> T. A. Henzinger, “Sooner Is Safer Than Later,” Information Processing Letters, vol. 43, no. 3. Elsevier, pp. 135–141, 1992. Henzinger, Thomas A. “Sooner Is Safer Than Later.” Information Processing Letters, vol. 43, no. 3, Elsevier, 1992, pp. 135–41, doi:<a href="https://doi.org/10.1016/0020-0190(92)90005-G">10.1016/0020-0190(92)90005-G</a>. Henzinger, Thomas A. “Sooner Is Safer Than Later.” Information Processing Letters. Elsevier, 1992. <a href="https://doi.org/10.1016/0020-0190(92)90005-G">https://doi.org/10.1016/0020-0190(92)90005-G</a>. Henzinger, T. A. (1992). Sooner Is Safer Than Later. Information Processing Letters. Elsevier. <a href="https://doi.org/10.1016/0020-0190(92)90005-G">https://doi.org/10.1016/0020-0190(92)90005-G</a> 45172018-12-11T12:09:16Z2022-03-07T11:31:23Z