Announcement: Event-B Seminar at NII, Tokyo


Rodin Tools

Rodin 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

We are in the early stages of development at present but if you require more information on our plans, please contact