NEWS
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”
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”
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
"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
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.
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...