rodin
IDE for formal modelling and verification with Event-B
The Rodin Platform is an Eclipse-based IDE for Event-B that provides effective support for refinement and mathematical proof. Event-B is a formal method for system-level modelling and analysis.
homepage ↗ sourceforge: rodin-b-sharp
Available in
| Overlay | Newest | Ebuilds | Last activity | |
|---|---|---|---|---|
| eventb-rossi GitHub ↗ | 3.10.0 | 2 | 27 h | details › |