Liveness in broadcast networks

We study liveness and model checking problems for broadcast networks, a system model of identical clients communicating via message passing. The first problem that we consider is Liveness Verification . It asks whether there is a computation such that one clients visits a final state infinitely ofte...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Computing Jg. 104; H. 10; S. 2203 - 2223
Hauptverfasser:	Chini, Peter, Meyer, Roland, Saivasan, Prakash
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Vienna Springer Vienna 01.10.2022 Springer Nature B.V
Schlagworte:	Algorithms Artificial Intelligence Clients Communication Computation Computer Appl. in Administrative Data Processing Computer Communication Networks Computer Science Information Systems Applications (incl.Internet) Iterative methods Linear programming Message passing Networks Polynomials Software Engineering Special Issue Article Specifications Temporal logic Verification Broadcast networks Model checking 68Q45 Liveness verification 68Q17
ISSN:	0010-485X, 1436-5057
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!