rodin
License:Open source
Total downloads:61
Latest version:3.1
Description
rodin 3.1 for Mac is free to download from our software library. Our built-in antivirus checked this Mac download and rated it as 100% safe. This free software for Mac OS X was originally produced by ETH Zurih and Others. Rodin for Mac belongs to Developer Tools.
From the developer:
Rodin is an open tool platform for the cost effective rigorous development of dependable complex software systems and services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.
This platform contributes to the Eclipse framework and is extensible using the Eclipse plug-in mechanism.
You may want to check out more software for Mac, such as Art Galleries or One Click Translate for Safari, which might be similar to rodin.
Comments
Subscribe to commentsPlease add a comment explaining the reasoning behind your vote.