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

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Computing Ročník 104; číslo 10; s. 2203 - 2223
Hlavní autoři:	Chini, Peter, Meyer, Roland, Saivasan, Prakash
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Vienna Springer Vienna 01.10.2022 Springer Nature B.V
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!