NEWS
![Atelier B Community Edition 24.04 Available](https://www.atelierb.eu/wp-content/uploads/2024/04/logo-horizontal-BD-1080x642.png)
Atelier B Community Edition 24.04 Available
We are thrilled to announce the release of our latest version of Atelier B. Here's what's new and improved in this version: Added Functionalities Automatic...
![Event “Mathematical Proof and Software Safety”](https://www.atelierb.eu/wp-content/uploads/2024/04/FSMP-1080x675.jpg)
Event “Mathematical Proof and Software Safety”
CLEARSY is proud to participate in Horizon Maths 2024. It is an initiative of the Fondation Sciences Mathématiques de Paris focusing on "Mathematical Proof...
![Tutorial “Using B to Program the CLEARSY Safety Platform”](https://www.atelierb.eu/wp-content/uploads/2023/05/title-page-1080x675.jpg)
Tutorial “Using B to Program the CLEARSY Safety Platform”
We are delighted to announce a unique opportunity to explore the intricacies of safety-critical system development using the CLEARSY Safety Platform (CSP) and...
![Atelier B Professional Edition 23.02](https://www.atelierb.eu/wp-content/uploads/2022/11/Clearsy-Thumbnail.png)
Atelier B Professional Edition 23.02
"Atelier B Professional Edition 23.02" is now available on Windows and Linux for all current maintenance contract holders. The release notes are available...
![Atelier B Roadmap 2023-2024](https://www.atelierb.eu/wp-content/uploads/2023/01/roadmap-2023-2024-half-1080x675.jpg)
Atelier B Roadmap 2023-2024
In 2023, the Professional version will be updated twice. In 2024, the T2 certified Professional version will be made available, as well as the Community version integrating a RUST code generator.
![The new formal tool Atelier B 4.7 is available.](https://www.atelierb.eu/wp-content/uploads/2022/01/ATB-4.7-FR-web.jpeg)
The new formal tool Atelier B 4.7 is available.
Atelier B 4.7.1 is available in a Community Edition (https://www.atelierb.eu/en/atelier-b-support-maintenance/download-atelier-b/) and in a Maintenance...