rodin

rodin

Type de licence:Open source

Nombre de téléchargements:61

Latest version:3.1

Info mise à jour:

Capture d'écran

Screenshot

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

Merci d'avoir évalué ce programme!
Merci d'ajouter un commentaire expliquant les raisons de votre vote.
Votre vote: