Nos produits et formations


CLEARSY a été fondée au 1er Janvier 2001 par l’équipe d’ingénieurs auteurs de l’industrialisation de l’outil de modélisation formelle nommé Atelier B, utilisé dans le secteur du ferroviaire pour réaliser des logiciels de sécurité.

Nos produits et nos formations disponibles

> www.clearsy.com

ATELIER B
www.atelierb.eu

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.

+ D'INFORMATIONS

FERSIL
www.fersil-railway.com

L’outil d’animation graphique de modèle formel B. Motivations : besoin de valider les modèles…

+ D'INFORMATIONS

FORMATIONS B
 www.atelierb.eu/formation-b/

Clearsy propose plusieurs formations pour comprendre et pratiquer B.

+ D'INFORMATIONS