Systerel, as part of the Event-B-Rodin-Plus research project, has lead the release of the new version 3.5 of the Rodin platform (details here).

The Event-B-Rodin-Plus project aims to improve Event-B and the Rodin platform. The main work concerns the development of new theories to extend the Event-B notation to different fields of use, as well as the development of the associated tooling in terms of editing, verification and proof.

More about the Event-B-Rodin-Plus Project