STSyn (not maintained any more; upgraded to Protocon)

Protocon:  A tool for auotmated design of self-stabilization


Tools

Softwar Design Laboratory at MichiganTech

A Framework for Automated Design of Self-Stabilizing Network Protocols