Accueil | Actualité | Présentation | Tutoriels | Documents | Télécharger | Installation | Liens | Contact | |


Liens

Atelier B Atelier B :
Outil industriel qui permet une utilisation opérationnelle de la méthode formelle B.

Brama Brama :
Outil d'animation graphique de modèle B.

ComenC, Traducteur d'implémentations B0 vers le langage CComenC :
Outil permettant de traduire des implémentations B0 vers le langage C.

CompoSysCompoSys :
Méthode et outil pour des descriptions formelles de systèmes.