Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo



Laurent Voisin Nicolas Beauger

Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.

Rodin Wiki page: http://wiki.event-b.org

Screenshot thumbnail
Main window (version 0.5.4)

Project Admins: