Systerel is the technical leader of the RODIN platform and ensures its maintenance and evolution. The activities developed around the platform allow us to consolidate and develop our expertise within the Eclipse ecosystem and modeling in Event-B.

Within the EU project ADVANCE, as main developer of the core of the platform, Systerel takes action in the following activities:

  • Maintaining and correction
  • Development and improvement
  • Consulting and training for users and developers

The RODIN platform is the tool dedicated to Event-B, supporting refinement of models and mathematical proof. It was created in Zürich within the European FP7 Project RODIN between 2004 and 2007. It is an open-source platform based on the Eclipse IDE.