NEWS
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...
Video published of the webinar “introduction to the CLEARSY Safety Platform”
The video of the webinar “Introduction to the CLEARSY Safety Platform”, run between March and May 2021, is available on Youtube. It is a platform both...