CLEARSY an innovative player in saving little-used rail lines ERTMS, R&D, Railway, Safety, Tools

New Frugal Rail Signaling (NS2F) is a collaborative project supported by the French government as part of the France Relance […]

9ᵉ ABZ International Formal Methods Conference in Nancy from May 31 to June 2, 2023 Exhibitions/conferences, R&D

CLEARSY specialists will participate in this conference, which we have been particularly keen on since the first one in Nantes […]

The French National Cyber Strategy supports CLEARSY on a safe and secure sovereign computer R&D, Safety

The new French Cyber Campus awards CLEARSY on a safe and secure sovereign computer. The Cyber Campus at PARIS was […]

RSSRail 2023 conference, Save the date! October 10-12, 2023, Berlin, Germany ERTMS, Exhibitions/conferences, Metro (CBTC), R&D, Railway, Safety

This year the RSSRail 2023 conference will take place in Berlin, Germany. It is co-organized by CLEARSY, Université Gustave Eiffel […]

Two decades of industrial exploitation of the B formal method. Computer science, R&D, Tools

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

The new formal tool Atelier B 4.7 is available. Computer science, R&D, Tools

Atelier B 4.7.1 is available in a Community Edition (https://www.atelierb.eu/en/atelier-b-support-maintenance/download-atelier-b/) and in a Maintenance Edition for owners of a maintenance […]

CLEARSY R&D Actions on Formal Verification: 10 years and counting… Computer science, R&D, Tools

Proof automation and support for interactive proof are key components in the application of formal methods for software and system […]

The challenge of cybersecurity for safe systems. R&D, Safety

The LabSoC laboratory at Telecom Paris school and CLEARSY are joining forces for two years to integrate cybersecurity threat management […]