A useful development platform.
- RODIN
- Version :3.0.1 Build 5326174
- License :Freeware
- OS :Windows All
- Publisher :Event-B.org
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