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
Développé par la société ClearSy, l’Atelier B est l’outil industriel qui permet une utilisation opérationnelle de la méthode B pour des développements de logiciels prouvés sans défaut (logiciel formel).
Site Web : www.atelierb.eu – Téléchargement : gratuit – Contrat de Maintenance Payant
Brama
Brama est un outil d’animation graphique de modèle formel B. Il permet de de valider les modèles, et les « présenter » aux clients pour une meilleure visualisation du projet…
Site Web : www.brama.fr – Téléchargement : gratuit
CompoSys
CompoSys est un outil de conception formelle d’architecture système. Développé par la société ClearSy, société spécialiste en développement de systèmes sécuritaires, CompoSys est un outil de modélisation de systèmes qui bénéficie des outils formels et de l’expérience de l’Atelier B.
Site Web : www.composys.fr – Téléchargement : gratuit
Français
English 
