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

Atelier B

Site Web : www.atelierb.eu L'Atelier B est un outil qui permet une utilisation opérationnelle de la méthode B. Il offre, au s...
Brama

Brama

Outil d'animation graphique de modèle formel B Site Web : www.brama.fr Motivations : besoin de valider les modèles, besoin de "montrer" l...
CompoSys

CompoSys

Outil de description formelle de système Site Web  : www.composys.fr CompoSys est, d'une part un outil d'aide à la description formelle des co...

DAME

Suite logicielle d'aide à la mise au point, collecte, calcul d'alarmes et archivage, statistiques et diagnostics de données industrielles La conception m...

Les commentaires sont fermés.