Fathiyeh Faghih, Borzoo Bonakdarpour. ASSESS: A Tool for Automated Synthesis of Distributed Self-stabilizing Algorithms. In Paul G. Spirakis, Philippas Tsigas, editors, Stabilization, Safety, and Security of Distributed Systems - 19th International Symposium, SSS 2017, Boston, MA, USA, November 5-8, 2017, Proceedings. Volume 10616 of Lecture Notes in Computer Science, pages 219-233, Springer, 2017. [doi]
Abstract is missing.