Rodin ToolsRodin Tools is a Not for Profit Company taking over responsibility for the the Rodin toolset at the end of the EU funded Deploy Project.
The Rodin platform provides a range of features to support formal refinement-based development using Event-B. It has been applied in developing a wide range of applications in the aerospace, transportation, business information, automotive and microprocessor domains. See the Event-B web site for more information.
The Company consists of
- a Strategy Committee of external advisers to look at the development strategy,
- a Platform Development and Maintenance partner to carry out the wishes of the Strategy Committee and Company members and
- a Coordination partner to manage the Company, run workshops and training etc.
We are in the early stages of development at present but if you require more information on our plans, please contact