[3] Event-B is a notation and method developed from the B-Method and is intended to be used with an incremental style of modelling.
Two characteristics of the Rodin tool are its ease of use and its extensibility.
This makes it possible to adapt the tool to specific needs, so the tool can be adapted to fit into existing development processes instead of demanding the opposite.
[4] Rodin ("Rigorous Open Development Environment for Complex Systems") is an extension of Eclipse IDE (Java-based).
The Rodin Eclipse Builder manages the following:[5] The Rodin project included five industrial case studies that served to validate the toolset and helped with the elaboration of an appropriate methodology for using the tools.