We are delighted to announce a unique opportunity to explore the intricacies of safety-critical system development using the CLEARSY Safety Platform (CSP) and...

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" is now available on Windows and Linux for all current maintenance contract holders. The release notes are available...
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.
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 is currently used by two world-renowned manufacturers for the certification of microelectronic components at the EAL6+ level according to Common...
Through the collaborative R&D project AIDOaRT , CLEARSY is going to develop a module within the Atelier B Interactive prover that can learn interactive...