Model checking of distributed algorithms using synchronous programs

The development of trustworthy distributed algorithms requires the verification of some key properties with respect to the formal specification of the expected system executions. The atomic-state model (ASM) is the most commonly used computational model to reason on self-stabilizing algorithms. In t...

Celý popis

Podrobná bibliografie

Vydáno v:	Theoretical computer science Ročník 1045; s. 115292
Hlavní autoři:	Jahier, Erwan, Altisen, Karine, Devismes, Stéphane, Sant'Anna, Gabriel B.
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier B.V 11.08.2025 Elsevier
Témata:	Computer Science Distributed, Parallel, and Cluster Computing Model-checking Self-stabilization Synchronous programming Self-stabilization Model-checking Synchronous programming
ISSN:	0304-3975, 1879-2294
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!