Event-B.org

Home of Event-B and the Rodin Platform

ACKNOWLEDGEMENTS

ADVANCE 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
  • Install the ProB plugin from the ProB Update site for powerful model checking and animation

User manual and Tutorial

Licence

The Rodin Platform is released under the Eclipse Public License - v 1.0.

 

Event-B.org