Liens

Atelier B

Outil industriel permettant l'utilisation opérationnelle de la méthode B pour des développements logiciels prouvés. Une formation est disponible pour comprendre, et pratiquer B.

Url : http://www.atelierb.eu

B4Free

Outil logiciel pour l'enseignement de la méthode B en milieu académique, et dédié au développement de logiciels prouvés

Url : http://www.b4free.com

Brama

Outil d'animation de modèle en cours de développement

Url: http://www.brama.fr

Coppilot

Site consacré au système de pilotage des portes palières des stations Invalides et St Lazare

Url: http://www.coppilot.fr - Url: Page ClearSy