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

Fathiyeh Faghih, Borzoo Bonakdarpour

Browse the full SSS paper archive.