Model checking of distributed algorithms using synchronous programs

DOI10.1016/J.TCS.2025.115292MaRDI QIDQ6975890zbMATH OpenFDO

Authors Erwan Jahier, Karine Altisen, Stéphane Devismes, Gabriel B. Sant'Anna

Publication date 2 June 2025

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.TCS.2025.115292

zbMATH Keywords

model checkingself-stabilizationsynchronous programming

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed algorithms (68W15)

Cites work

• scientific article; zbMATH DE number 2017354 (Why is no real title available?)
• scientific article; zbMATH DE number 1903365 (Why is no real title available?)
• An open graph visualization system and its applications to software engineering
• Binary self-stabilization in distributed systems
• Competitive self-stabilizing \(k\)-clustering
• Introduction to Distributed Self-Stabilizing Algorithms
• Natural deduction as higher-order resolution
• Self-stabilizing systems in spite of distributed control

This page was built for publication: Model checking of distributed algorithms using synchronous programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6975890)