Rodin 3.1 está livre para baixar na nossa biblioteca de programas. Esse software foi originalmente desenvolvido por ETH Zurih and Others. Nossa verificação feita pelo antivírus mostra que esse download está livre de vírus. 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.