Parameterized synthesis of self-stabilizing protocols in symmetric networks
Self-stabilization in distributed systems is a technique to guarantee convergence to a set of
legitimate states without external intervention when a transient fault or bad initialization …
legitimate states without external intervention when a transient fault or bad initialization …
Parameterized distributed synthesis of fault-tolerance using counter abstraction
H Moloodi, F Faghih… - 2021 40th International …, 2021 - ieeexplore.ieee.org
In this paper, we propose an automated technique for synthesizing fault-tolerant distributed
protocols from their fault-intolerant version, where the number of processes is …
protocols from their fault-intolerant version, where the number of processes is …
Verification and Synthesis of Responsive Symmetric Uni-Rings
A Ebnenasir - IEEE Transactions on Software Engineering, 2021 - ieeexplore.ieee.org
This paper investigates the verification and synthesis of parameterized protocols that satisfy
leadsto properties on symmetric unidirectional rings (aka uni-rings) of deterministic, self …
leadsto properties on symmetric unidirectional rings (aka uni-rings) of deterministic, self …
Verification and synthesis of symmetric uni-rings for leads-to properties
A Ebnenasir - 2019 Formal Methods in Computer Aided …, 2019 - ieeexplore.ieee.org
This paper investigates the verification and synthesis of parameterized protocols that satisfy
global leadsto properties R~→ Q on symmetric unidirectional rings (aka uni-rings) of …
global leadsto properties R~→ Q on symmetric unidirectional rings (aka uni-rings) of …