Rodin Platform

At a glance

• Editor score
  6.7 / 10
• Pricing
  Free plan
• Best for
  Formal-methods users verifying UML-like models
• Free plan
  Yes
• Paid from
  Free
• UML diagram types
  UML-B class diagrams; UML-B state-machine diagrams
• Facts checked
  25 Sep 2026

• Where it wins

  • Mathematical proof checks consistency across model refinement levels.
  • UML-B adds class and state-machine editors that translate to Event-B.
  • Free, open-source desktop software for Windows, macOS, and Linux.

• Where it doesn't

  • Models Event-B rather than standard UML, limiting general UML work.
  • UML-B diagram editors depend on an optional extension.
  • Code-generation plug-ins have older documentation; check compatibility first.

Our verdict on Rodin Platform

Rodin Platform is an open-source Eclipse IDE for system-level modeling and analysis with Event-B, a formal method. It suits people who need to express system behavior mathematically and check model consistency, including formal-methods users working with UML-like models. The core focus is Event-B, not general-purpose UML diagramming, so teams seeking broad UML coverage may prefer a dedicated UML tool.

Its distinguishing workflow combines refinement across abstraction levels with mathematical proof. Proof obligations help check consistency between levels of a model. Optional UML-B extensions provide class-diagram and state-machine editors, then translate those diagrams into Event-B for verification. That makes UML-B useful when diagram-based modeling needs a formal verification path; it does not turn Rodin into a broad standard-UML suite. The platform also integrates with ProB and supports UML-B plug-ins within its Eclipse environment.

Rodin is free and open source, with desktop support for Windows, macOS, and Linux. Optional code-generation plug-ins are documented, but their documentation has older release dates, so compatibility should be checked before making code generation a dependency. Documentation and community channels are the listed support options. Choose Rodin when Event-B refinement and proof are central and UML-like diagrams serve that formal workflow. Choose another tool if the priority is standard UML breadth or code generation that can be relied on without first checking plug-in compatibility.

Your product? Our editors can test Rodin Platform in depth and publish a review, labelled as paid · from $149/mo →

Rodin Platform pricing

Rodin Platform fact sheet

Rodin Platform integrations

Rodin Platform lists 3 integrations on its own site.

• Eclipse
• UML-B plug-ins
• ProB

Alternatives to Rodin Platform

• IBM Engineering RhapsodyA broad engineering suite for teams connecting models, code, requirements, and verification.9.3
• Sparx Enterprise ArchitectA broad enterprise modeling suite with deep repositories, engineering and versioning features.8.9
• IBM Rational Software Architect DesignerA broad enterprise modeling platform for teams that need traceability and transformation workflows.8.9

See all Rodin Platform alternatives →

Featured on iTechGuides

Rodin Platform is listed in our UML Modeling Software directory. Add the badge to your site — it links back to this page.

<a href="https://www.itechguides.com/products/rodin-platform/"><img src="https://www.itechguides.com/best/badge/rodin-platform.svg" alt="Featured on iTechGuides" width="230" height="46"></a>

Reviewed by iTechGuides Editors · Editorial team · Updated Oct 2026

Advertiser disclosure: iTechGuides is reader-supported. Vendors can pay for top positions in our rankings and for a place on other products' pages, and we may earn a commission when you click some links. Bought places stand at the number bought; this page and our disclosure say so. Paying vendors may get a fuller, more detailed review from our editors, and that review can change their score. How we rank.

Last updated 7 Oct 2026 · How we research and update