rodin

par ETH Zurih and Others

Télécharger depuis le site Web du développeur

Type de licence: Open source

Nombre de téléchargements:65

Latest version:3.1

Signaler des informations incorrectes

Description

Capture d'écran

Rodin 3.1 était disponible en téléchargement sur le site Web du développeur lors de notre dernière vérification, mais nous ne pouvons pas garantir que le téléchargement gratuit est disponible.

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. Est recommandé de vérifier les fichiers téléchargés avec un antivirus gratuit car nous ne pouvons pas garantir qu'ils sont sûrs.

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, WinZip Mac ou qbittorrent.

Télécharger rodin depuis le site Web du développeur

utile

Comment protéger votre Mac contre les logiciels malveillants

utile

Comment partager des fichiers

utile

Comment taper avec 10 doigts