We are thrilled to announce the release of our latest version of Atelier B. Here’s what’s new and improved in […]

The White House highlights the use of formal methods in a new report. Three points very interesting: It is possible […]

A new version of the European Train Control System (ETCS) specification has just been published: Baseline 4. Over the past […]

During one week, UFRN students are going to compete over several challenges involving the modelling in B and the control […]

In the continuity of our activities in the field of fire safety, CLEARSY implements and realizes the safety protocol for […]

A certified version of ATELIER B, the tool used to specify and prove safety critical software is planned for 2024. […]

CLEARSY uses formal methods in many phases in the development cycle: systems reasoning: to define and prove mathematically system safety […]

The release of Atelier B 4.7 materializes two decades of industrial exploitation of the B formal method, with the support […]