Le nouvel Atelier B 4.7 est disponible.

18 janvier 2022

L’Atelier B 4.7.1 est disponible en version Community Edition (https://www.atelierb.eu/en/atelier-b-support-maintenance/download-atelier-b/) et en version Maintenance Edition pour les possesseurs d’un contrat de maintenance.

Les principales innovations consistent en :

  • l’ajout d’un mécanisme extensible permettant l’intégration sans recompilation de prouveurs mathématiques externes (CVC4 et Z3 par défaut), afin d’améliorer les performances de preuve automatique. Cette version est utilisée industriellement par Alstom, RATP et Siemens Transportation Systems.
  • l’amélioration du support du langage B événementiel (Event B) pour la certification Critères Communs (https://www.atelierb.eu/en/atelier-b-4-6-for-eal6/)

Les évolutions prévues en 2022 et 2023 concernent :