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.