Liens

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

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

ComenC : Outil permettant de traduire des implémentations B0 vers le langage C.

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