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 : Rodin B-Sharp.
Guide Utilisateur RODIN
Outils et Plugins RODIN
