"Atelier B Professional Edition 23.02" is now available on Windows and Linux for all current maintenance contract holders. The release notes are available...
Thierry Lecomte
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.
Atelier B used to develop open source OPC UA implementation
Systerel used the B formal method and Atelier B for the development of their Safe and Secure Open Platform Communications (S2OPC), an open-source solution for...
Atelier B 4.6 for EAL6+
Atelier B 4.6 is currently used by two world-renowned manufacturers for the certification of microelectronic components at the EAL6+ level according to Common...
AI for interactive proof
Through the collaborative R&D project AIDOaRT , CLEARSY is going to develop a module within the Atelier B Interactive prover that can learn interactive...
Tutorial “Using B to program the CLEARSY Safety Platform”
A virtual open-access tutorial on the programming of the CLEARSY Safety Platform is organized during the ABZ 2021 International Conference, on June 8th 2021...