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 Installation
|
Name
|
Category
|
Installation
|
|
Rodin platform
|
Core software
|
- Requires Java 1.5
- Download the
Core: Rodin Platform file for your platform. To install, just unpack the archive anywhere on your hard-disk and
launch the "rodin" executable in it.
- Start Rodin
- Install the
Atelier B 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).
|