Sooner Is Safer Than Later

T.A. Henzinger, Information Processing Letters 43 (1992) 135–141.

Download
No fulltext has been uploaded. References only!

Journal Article | Published
Abstract
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.
Publishing Year
Date Published
1992-09-14
Journal Title
Information Processing Letters
Volume
43
Issue
3
Page
135 - 141
IST-REx-ID

Cite this

Henzinger TA. Sooner Is Safer Than Later. Information Processing Letters. 1992;43(3):135-141. doi:10.1016/0020-0190(92)90005-G
Henzinger, T. A. (1992). Sooner Is Safer Than Later. Information Processing Letters, 43(3), 135–141. https://doi.org/10.1016/0020-0190(92)90005-G
Henzinger, Thomas A. “Sooner Is Safer Than Later.” Information Processing Letters 43, no. 3 (1992): 135–41. https://doi.org/10.1016/0020-0190(92)90005-G.
T. A. Henzinger, “Sooner Is Safer Than Later,” Information Processing Letters, vol. 43, no. 3, pp. 135–141, 1992.
Henzinger TA. 1992. Sooner Is Safer Than Later. Information Processing Letters. 43(3), 135–141.
Henzinger, Thomas A. “Sooner Is Safer Than Later.” Information Processing Letters, vol. 43, no. 3, Elsevier, 1992, pp. 135–41, doi:10.1016/0020-0190(92)90005-G.

Link(s) to Main File(s)
Access Level
Restricted Closed Access

Export

Marked Publications

Open Data IST Research Explorer

Search this title in

Google Scholar