RODINA development platform to help you with your work. | |
Download |
RODIN Ranking & Summary
Advertisement
- License:
- Freeware
- Publisher Name:
- Event-B.org
- Operating Systems:
- Windows All
- File Size:
- 50.6 MB
RODIN Tags
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