Rodin Handbook





 

4.1.4 What is Rodin?

The Rodin Platform is an Eclipse-based IDE for Event-B that provides support for refinement and mathematical proofs. The platform is open source, contributes to the Eclipse framework and can be extended with plugins.