Automated synthesis of distributed self-stabilizing protocols

DOI10.23638/LMCS-14(1:12)2018MaRDI QIDQ4603447zbMATH OpenFDO

Authors Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep S. Kulkarni

Publication date 20 February 2018

Full work available at URL https://arxiv.org/abs/1509.05664

Mathematics Subject Classification ID

Distributed systems (68M14) Network protocols (68M12)

Recommendations

• ASSESS: a tool for automated synthesis of distributed self-stabilizing algorithms
• Parameterized synthesis of self-stabilizing protocols in symmetric networks
• Synthesis of self-stabilising and Byzantine-resilient distributed systems
• A hybrid method for the verification and synthesis of parameterized self-stabilizing protocols
• The synthesis of communication protocols

Cites work

• scientific article; zbMATH DE number 996442 (Why is no real title available?)
• scientific article; zbMATH DE number 2036573 (Why is no real title available?)
• A belated proof of self-stabilization
• ASSESS: a tool for automated synthesis of distributed self-stabilizing algorithms
• Automated synthesis of distributed self-stabilizing protocols
• Bounded Synthesis
• Nash equilibria in stabilizing systems
• On the complexity of adding convergence
• Parameterized synthesis
• Probabilistic self-stabilization
• Self-stabilizing systems in spite of distributed control
• Symbolic synthesis of masking fault-tolerant distributed programs
• Synthesis of self-stabilising and Byzantine-resilient distributed systems
• Synthesizing bounded-time 2-phase fault recovery

Cited in

(12)

• The synthesis of communication protocols
• Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings
• A hybrid method for the verification and synthesis of parameterized self-stabilizing protocols
• Automated Synthesis of Protocol Converters with BALM-II
• scientific article; zbMATH DE number 2062236 (Why is no real title available?)
• Automated synthesis of distributed self-stabilizing protocols
• Self-stabilizing distributed algorithms by gellular automata
• Certification of an exact worst-case self-stabilization time
• ASSESS: a tool for automated synthesis of distributed self-stabilizing algorithms
• Automated Analysis of Impact of Scheduling on Performance of Self-stabilizing Protocols
• Parameterized synthesis of self-stabilizing protocols in symmetric networks
• Synthesis of self-stabilising and Byzantine-resilient distributed systems

Describes a project that uses

Uses Software

• z3
• Yices

This page was built for publication: Automated synthesis of distributed self-stabilizing protocols

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