CLEARSY and UFRN make cooperation agreement to promote international internships. Computer science, R&D, Tools

After more than a decade of collaboration in research and development, CLEARSY and UFRN have signed a cooperation agreement to […]

CLEARSY, a player in artificial intelligence Computer science, Exhibitions/conferences, R&D

We are excited to share that in September, CLEARSY had the opportunity to present our latest work and research in […]

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 […]