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.