RODIN

A useful development platform.

  • RODIN
  • Version :3.0.1 Build 5326174
  • License :Freeware
  • OS :Windows All
  • Publisher :Event-B.org

Download Now

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.

System requirements

  • Java

Leave a Reply

Your email address will not be published. Required fields are marked *