Accueil | Actualités B | La Méthode B | Travaux R&D | Preuve Formelle | Publications | Conférences | B, les différents langages | Projets Open Source | Outils B | Documents | Liens | Contact  

Projet RODIN

Présentation du Projet RODIN

Le projet Rodin travaille au développement d'une plateforme ouverte pour la conception de systèmes tolérants aux fautes. Ce projet de 3 ans a pour objectif de développer le futur environnement de spécification système avec B.

Télécharger RODIN

Pour télécharger Rodin, il suffit de suivre les instructions disponibles sur cette page : Télécharger la plateforme Rodin.

Pour télécharger les plugins Rodin, suivez ce lien : Plugins Rodin.

Guide Utilisateur RODIN

Outils et Plugins RODIN