Rodin 3.1 estava disponível para download no site do desenvolvedor quando verificamos. Não podemos garantir que haja um download gratuito disponível. Esse software foi originalmente desenvolvido por ETH Zurih and Others. É recomendável verificar os arquivos baixados com qualquer antivírus gratuito, pois não podemos garantir que sejam seguros. Rodin está dentro de Ferramentas de Desenvolvimento, na subcategoria IDE.
Do desenvolvedor:
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.
Confira mais programas, tais como Art Galleries, One Click Translate for Safari ou WinZip Mac, que podem ser similares a rodin.