We are delighted to announce a unique opportunity to explore the intricacies of safety-critical system development using the CLEARSY Safety Platform (CSP) and...
Thierry Lecomte
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.
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...