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: