rodin

by ETH Zurih and Others

Download now from developer's website

License: Open source

Total downloads:65

Latest version:3.1

Report incorrect info

Description

Screenshot

The 3.1 version of rodin for Mac was available to download on the developer's website when we last checked. We cannot confirm if there is a free download of this app available. This free Mac application is a product of ETH Zurih and Others. According to the results of the Google Safe Browsing check, the developer's site is safe. Despite this, we recommend checking the downloaded files with any free antivirus software. The program lies within Developer Tools, more precisely IDE.

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.

Download rodin from developer's website

useful

How to protect your Mac from malware

useful

How to share files

useful

How to type with 10 fingers