Links
Event-B and the Rodin Platform
Atelier B
ProB
TLA+
The B Method
Click'n'Prove
B2Visidia
haRvey