Rodin Platform
Version: 2.1.1
OS's: OS Independent (Written in an interpreted language)
License: Common Public License 1.0, Eclipse Public License
Describtion:
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.
