0/5 stars
License: Open source
Total downloads:11 (1 last week)
Latest version:3.1
Screenshot collage for rodin


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, which might be similar to rodin.


Thank you for rating the program!
Please add a comment explaining the reasoning behind your vote.
Your vote:
Latest update: