Contact

Atelier B 4.1 Beta 1

Atelier B 4.1 Beta 1

La diffusion de l’Atelier B 4.1 Beta 1 débute le 02 Novembre 2012, pour une durée d’un mois.

Elle intègre les améliorations de la version 4.0.2 et apporte de nombreuses évolutions fonctionnelles telles que:

  • le support des projets de validation/génération de données, en complément des projets B logiciel et B évènementiel, ainsi que la connexion au model-checker ProB;
  • des vues graphiques du projet, permettant de classer plus rapidement les composants en terme de preuve;
  • un générateur de code C, C4B, basé sur le compilateur B, générant un CMakelist pour un projet complet et supportant plusieurs profils de traduction;
  • le lancement de plusieurs tâches de preuve en parallèle sur un même composant.

La documentation de support, décrivant les modalités d’utilisation de ces fonctionnalités, sera mise à disposition durant le mois d’Octobre 2012.

La version 4.1 deviendra en Décembre 2012 la version communautaire courante de l’Atelier B, remplaçant la version 4.0.1.

Vous aimerez aussi :

Copy link
Powered by Social Snap