Liens

Atelier B :
Outil industriel qui permet une utilisation opérationnelle de la méthode formelle 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.