Event-B.org software

RODIN 3.0.1.5326174

A useful development platform
Price: $0, Rating: 9, Downloads: 1 Download

RODIN script 0.8.2

RODIN The Rodin Platform is an Eclipse-based IDE for Event-B that provides effective support for refinement and mathematical proof.
Price: $Other Free / Open So, Rating: 8, Downloads: 489 Download