"Atelier B Professional Edition 23.02" est disponible dès aujourd'hui sur Windows et Linux pour tous les détenteurs actuels d'un contrat de maintenance. Les...

"Atelier B Professional Edition 23.02" est disponible dès aujourd'hui sur Windows et Linux pour tous les détenteurs actuels d'un contrat de maintenance. Les...
En 2023, la version Professionelle sera mise à jour 2 fois .
En 2024, la version Professionnelle certifiée T2 sera mise à disposition, ainsi que la version Communitaire intégrant un générateur de code RUST.
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...
Systerel a utilisé la méthode formelle B et l'Atelier B pour le développement de sa solution open-source Safe and Secure Open Platform Communications (S2OPC),...
L'Atelier B 4.6 est actuellement utilisé par deux industriels de renommée mondiale pour la certification de composants micro-électroniques au niveau EAL6+...
Dans le cadre du projet de R&D collaboratif AIDOaRT, CLEARSY va développer un module dans le prouveur interactif de l'Atelier B qui peut apprendre du...