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
Brama
Outil de modélisation graphique appliqué aux méthodes formelles B.
Url: http://www.brama.fr
ClearSy
Site de la société ClearSy, spécialiste en systèmes sécuritaires.
Url : http://www.clearsy.com
Composys
Outil de conception formelle d’architecture système
Url : http://www.composys.fr
COPP
Façades de Quais de la Station Paris-Châtillon
Url : http://www.copp.fr
Coppilot
Contrôle et commande sécuritaire de façades de quais.
Url: http://www.coppilot.fr – Url: Page ClearSy
DOF1
Dispositif d’Ouverture et de Fermeture des façades de quai ligne 1, SIL3.
Url : http://www.dof1.eu
Sûreté de Fonctionnement / Blog
Blog de ClearSy. Présentation de la sûreté de fonctionnement et ses enjeux.
Français
English 
Deutsch 
Español 
Português 