rodin
Type de licence:Open source
Nombre de téléchargements:61
Latest version:3.1
Description
Notre logithèque vous offre de télécharger gratuitement rodin 3.1. Sur notre site, vous trouverez ce logiciel dans Outils de développement et plus précisément IDE. C'est grâce à ETH Zurih and Others que ce programme gratuit a vu le jour. Ce téléchargement a été vérifié par notre antivirus intégré, qui l'a certifié sans virus.
Du développeur:
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.
Utilisateur de rodin, vous pourriez être intéressé aussi par ces outils : TeamViewer, WinRAR ou WinZip Mac.
Commentaires
Subscribe to commentsMerci d'ajouter un commentaire expliquant les raisons de votre vote.