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

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Theoretical computer science Jg. 1045; S. 115292
Hauptverfasser:	Jahier, Erwan, Altisen, Karine, Devismes, Stéphane, Sant'Anna, Gabriel B.
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier B.V 11.08.2025 Elsevier
Schlagworte:	Computer Science Distributed, Parallel, and Cluster Computing Model-checking Self-stabilization Synchronous programming Self-stabilization Model-checking Synchronous programming
ISSN:	0304-3975, 1879-2294
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!