Rodin 3.1 puede descargarse desde nuestra página web gratuitamente. Este programa sin coste fue desarrollado originariamente por ETH Zurih and Others. A las aplicaciones del grupo Desarrollo, subgrupo IDE, es a las que pertenece esta herramienta. El resultado de nuestro antivirus ha determinado que esta descarga es segura.
Del desarrollador:
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.
Quizás esté interesado en probar otros programas, como Art Galleries, One Click Translate for Safari o Platform Flash Tool Lite, que podrían ser parecidos a rodin.