July 16, 2pm Title: Automated Design of Self-Stabilization Abstract Nowadays, we witness an increasing impact of software system failures due to the growing abundance and steady proliferation of software into our daily activities. Self-stabilization is a property of a distributed system such that, regardless of the legitimacy of its current behavior, the system behavior shall . . .
