atelier-b
IDE for formal modelling and verification with the B method
Atelier B Community Edition is an IDE by ClearSy for the B method: type checking, proof obligation generation, automatic and interactive provers, and code generation from B models.
Available in
| Overlay | Newest | Ebuilds | Last activity | |
|---|---|---|---|---|
| eventb-rossi GitHub ↗ | 24.04.2 | 1 | 27 h | details › |