Nos outils

Atelier B

L’Atelier B est un outil qui permet une utilisation opérationnelle de la méthode B. Il offre, au sein d’un environnement cohérent, de nombreuses fonctionnalités permettant de gérer des projets en langage B.

> VISITEZ LE SITE WEB : WWW.ATELIERB.EU

Fonctionnalités

CES FONCTIONNALITÉS SE REGROUPENT EN PLUSIEURS CATÉGORIES :

> Une aide à la preuve, pour démontrer les obligations de preuve, grâce à des outils de preuve adaptés
> Une aide au développement : gestion automatique des dépendances entre composants B
> Des outils de confort pour l’utilisateur : représentation graphique de projets, affichage de l’état et des statistiques d’un projet, archivage de projet.

Utilisation

L’ATELIER B s’utilise soit par l’intermédiaire d’une interface Homme Machine au format QT, soit en utilisant directement des commandes (Mode de commandes). L’Atelier B est multi-utilisateurs. Les tâches automatisables lors du développement d’un projet sont les suivantes :

> Vérifications syntaxiques des composants
> Génération automatique des obligations de preuve
> Traduction automatique des implantations B vers les langages C ou Ada.

L’Atelier B est désormais disponible sous Windows, Linux, Mac OS et Solaris.