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