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

Close

Home

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: