Formally Proving and Enhancing a Self-Stabilising Distributed Algorithm

Camille Coti, Charles Lakos, Laure Petrucci

This paper presents the benefits of formal modelling and verification techniques for self-stabilising distributed algorithms. An algorithm is studied, that takes a set of processes…