ASSESS: A Tool for Automated Synthesis of Distributed Self-stabilizing Algorithms

DOI10.1007/978-3-319-69084-1_15zbMath1498.68368OpenAlexW2764022560MaRDI QIDQ5045444

Fathiyeh Faghih, Borzoo Bonakdarpour

Publication date: 4 November 2022

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-69084-1_15

Mathematics Subject Classification ID

Distributed systems (68M14) Reliability, testing and fault tolerance of networks and computer systems (68M15) Network protocols (68M12) Distributed algorithms (68W15)

Related Items (4)

Verifying Recurrence Properties in Self-stabilization by Checking the Absence of Finite Counterexamples ⋮ Parameterized synthesis of self-stabilizing protocols in symmetric networks ⋮ Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings ⋮ Unnamed Item

This page was built for publication: ASSESS: A Tool for Automated Synthesis of Distributed Self-stabilizing Algorithms