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
|
|
|
User manual
|
Documentation
|
|
|
Tutorial
|
Documentation
|
|
Licence
Rodin is released under the
Common Public License Version 1.0 (CPL).
|
