A world first: system safety reasoning is T2 EN50129 SIL4 formally proven Computer science, Offers, Safety, Tools

The activity of formal system proof consists in mathematically expressing the global properties by which system safety is guaranteed, and […]

T2 certification for Atelier B Computer science, Safety, Tools

Atelier B was designed by CLEARSY to produce safe, zero-defect software that complies with its specifications. What makes it special? […]

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