Karine Altisen, Stéphane Devismes, Erwan Jahier. sasa: A SimulAtor of Self-stabilizing Algorithms. In Wolfgang Ahrendt, Heike Wehrheim, editors, Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]. Volume 12165 of Lecture Notes in Computer Science, pages 143-154, Springer, 2020. [doi]
Abstract is missing.