Nos outils

Nos outils de modélisation et de preuve formelle


CLEARSY développe et distribue des outils de modélisation et de preuve formelle, faisant appel à la méthode B.
Voici un aperçu des différentes applications actuellement disponibles :
> Atelier B, Brama, Composys et l’outil DAME.

Documentation + Liens


> ATELIER B – www.atelierb.eu

L’Atelier B est un outil qui permet une utilisation opérationnelle de la méthode B.

> Supervision

Une suite logicielle d’aide à la mise au point, collecte, calcul d’alarmes et archivage.

> Bancs de tests

Outil spécifique CLEARSY dont l’objectif est de tester les systèmes sécuritaires.