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.

PLUS D'INFORMATIONS

> Supervision

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

PLUS D'INFORMATIONS

> Bancs de tests

Contenu à venir

PLUS D'INFORMATIONS