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

Full description

Bibliographic Details

Published in:	Theoretical computer science Vol. 1045; p. 115292
Main Authors:	Jahier, Erwan, Altisen, Karine, Devismes, Stéphane, Sant'Anna, Gabriel B.
Format:	Journal Article
Language:	English
Published:	Elsevier B.V 11.08.2025 Elsevier
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!