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!

Schreiben Sie den ersten Kommentar!