On certifying distributed algorithms: problem of local correctness

DOI10.1007/978-3-030-21759-4_16MaRDI QIDQ6190189zbMATH OpenOpenAlexFDO

Authors

Publication date 6 February 2024

Published in Formal Techniques for Distributed Objects, Components, and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-21759-4_16

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed algorithms (68W15)

Recommendations

• On a Verification Framework for Certifying Distributed Algorithms: Distributed Checking and Consistency
• Introduction to local certification
• Certifying algorithms
• Progress on certifying algorithms
• Certification of compact low-stretch routing schemes

Cites work

• Certifying algorithms
• Distributed Algorithms for Message-Passing Systems
• scientific article; zbMATH DE number 996442 (Why is no real title available?)
• On a Verification Framework for Certifying Distributed Algorithms: Distributed Checking and Consistency

This page was built for publication: On certifying distributed algorithms: problem of local correctness

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