RODIN 3.0.1.5326174
A useful development platform
A useful development platform
ADVERTISING
Software Specs
Publisher:............ Event-B.org
License:............... Freeware
File size:.............. 68.8 MB
Downloads:.........
Release date:...... 13 Jun 2014
Last update:........ 17 Mar 2015
Publisher review for RODIN 3.0.1.5326174:
Review by: Event-B.org
Rodin Platform is an Eclipse-based IDE for Event-B that provides effective support for refinement and mathematical proof. The platform is open source, contributes to the Eclipse framework and is further extendable with plugins.
Requirements:
Operating system:
Windows 8, Windows 7, Windows Vista, Windows XP, Windows 2000, Windows 98
RODIN screenshots:
RODIN download tags:
Copyright information:
SPONSORED LINKS
Rate this software
RODIN
Based on 0 ratings. 0 user reviews.
Based on 0 ratings. 0 user reviews.