⚡ The B WORKBOOK is now available on CLEARSY's GitHub: (https://github.com/CLEARSY/BWORKBOOK). After several months of collaborative effort, this first...
Thierry Lecomte
ABZ 2025 Conference
At the ABZ 2025 conference to be held from 10 to 13 June 2025 in Düsseldorf, CLEARSY will be presenting a keynote entitled "Mathematical Proofs and Moving...
Workaround for the execution problem Atelier B 24.04 Windows
In a restricted environment (university laboratory), the administrator carries out the installation and the AtelierB file is located in a folder that will be...
Atelier B Community Edition 24.04 Available
We are thrilled to announce the release of our latest version of Atelier B. Here's what's new and improved in this version: Added Functionalities Automatic...
Event “Mathematical Proof and Software Safety”
CLEARSY is proud to participate in Horizon Maths 2024. It is an initiative of the Fondation Sciences Mathématiques de Paris focusing on "Mathematical Proof...
Tutorial “Using B to Program the CLEARSY Safety Platform”
We are delighted to announce a unique opportunity to explore the intricacies of safety-critical system development using the CLEARSY Safety Platform (CSP) and...