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...

Full description

Saved in:

Bibliographic Details
Published in:	Computing Vol. 104; no. 10; pp. 2203 - 2223
Main Authors:	Chini, Peter, Meyer, Roland, Saivasan, Prakash
Format:	Journal Article
Language:	English
Published:	Vienna Springer Vienna 01.10.2022 Springer Nature B.V
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!