Rodin https://repo.valu3s.eu/tools/external-not-improved-tool/rodin https://repo.valu3s.eu/@@site-logo/logo_valu3s_green_transparent.png Rodin Logo Tool Logo No image Owner External tool owner. The owner must be also one of the partners. European Union ICT Projects ADVANCE, DEPLOY, RODIN Link to the tool Link to the tool webpage/github (optional) http://www.event-b.org/install.html Contributing partner Tool description Extended description of the external tool 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. Contents There are currently no items in this folder.
