Case Studies:

STSyn output programs
Promela code of STSyn's output

Softwar Design Laboratory at MichiganTech


A Framework for Automated Design of Self-Stabilizing Network Protocols