CLEARSY at FM2024 Computer science, Exhibitions/conferences, R&D

CLEARSY attended  FM2024, one of the largest Formal Methods conferences in the world. More than 300 academic and industrial researchers gathered […]

Extension of Line 14 of the Paris Metro: over 25 years of reliability thanks to the B formal method Component, Computer science, Offers, Safety, Tools

“Thanks to the B method, Meteor kept its promise” … “I’d never seen anything like it: the software was almost […]

Exciting News: Atelier B Community Edition 24.04 Available! Computer science, Tools

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. Computer science, Tools

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

Version 4 of the ETCS specification has just been published Computer science, ERTMS, Offers, Railway, Tools

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

HACKATHON CLEARSY Safety Platform in IMD/UFRN university, NATAL (BRAZIL) Computer science, Safety, Tools

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

The CLEARSY safety protocol on Schneider PLCs Computer science, Fire safety, Safety, Tools

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 is planned for 2024 Computer science, Tools

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