RODIN A development platform to help you with your work.
Download

RODIN Ranking & Summary

RODIN Tags

development develop system site development platform Development Platform event-B formal method systems service SpringerLink platform mobile development platform

RODIN Description

RODIN is a handy platform designed to help you with 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 Related Software