Defining liveness

Defining liveness

A formal definition for liveness properties is proposed. It is argued that this definition captures the intuition that liveness properties stipulate that ‘something good’ eventually happens during execution. A topological characterization of safety and liveness is given. Every property is shown to b...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Information processing letters 1985-10, Vol.21 (4), p.181-185
Hauptverfasser: Alpern, Bowen, Schneider, Fred B.
Format: Artikel
Sprache:eng
Schlagworte:
absolute liveness
Applied sciences
Computer science
control theory
systems
concurrency
Exact sciences and technology
Information processing
Liveness
Mathematical models
property
safety
semantics
Software
Software engineering
Theory
topology
uniform liveness
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:A formal definition for liveness properties is proposed. It is argued that this definition captures the intuition that liveness properties stipulate that ‘something good’ eventually happens during execution. A topological characterization of safety and liveness is given. Every property is shown to be the intersection of a safety property and a liveness property.
ISSN:0020-0190
1872-6119
DOI:10.1016/0020-0190(85)90056-0