Event-B.org

Home of Event-B and the Rodin Platform

FP7 Logo

SourceForge.net Logo

  

Rodin Platform Installation

Name

Category

Installation

Rodin platform

Core software
  • Requires Java 1.5
  • Download the installer then execute it
  • Start Rodin
  • Install the B4free provers plugin to take full advantage of Rodin proof capabilities

User manual

Documentation

Tutorial

Documentation

Licence

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

 

Event-B.org