Rodin Handbook





 
Previous: What is the difference between Event-B and the B method? Up: General Questions Next: Where does the Rodin name come from? User Manual for Rodin v.2.3

Feedback

4.1.3 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.

Previous: What is the difference between Event-B and the B method? Up: General Questions Next: Where does the Rodin name come from?  
User Manual for Rodin v.2.3 : Frequently Asked Questions : General Questions : What is Rodin?