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.