Outils : l'Atelier B rend possible l'utilisation de la méthode B en milieu industriel

Intégrant tous les composants nécessaires à l'automatisation de l'activité de preuve, cet outil a déjà été mis en ?"uvre notamment sur le projet Météor.

Votre opinion

Postez un commentaire