Event-B.org

Home of Event-B and the Rodin Platform

ACKNOWLEDGEMENTS

Deploy Logo

FP7 Logo

SourceForge.net Logo

ECS

YourKit

  
The Rodin Platform is an Eclipse-based IDE for Event-B that provides effective support for refinement and mathematical proof. The platform is open source, contributes to the Eclipse framework and is further extendable with plugins.

Rodin Platform and Plug-in Installation

Name

Installation

Rodin platform

Plug-ins
  • Plug-ins are installed from within Rodin by selecting Help/Install New Software. Then select the appropriate update site from the list of download sites.
  • Details on plug-ins.
  • Install the Atelier B Provers plugin from the Atelier B Provers Update site to take full advantage of Rodin proof capabilities

User manual

Tutorial

Licence

The Rodin Platform is released under the Common Public License Version 1.0 (CPL).

 

Event-B.org