![](https://www.clearsy.com/wp-content/uploads/2024/02/Infralight-US-web.jpeg)
INFRAlight, a winning France 2030 project supported by ADEME, is an innovator in rail infrastructure. It proposes composite material tracks, […]
![](https://www.clearsy.com/wp-content/uploads/2023/05/ABZ-2023-US-web.jpeg)
CLEARSY specialists will participate in this conference, which we have been particularly keen on since the first one in Nantes […]
![](https://www.clearsy.com/wp-content/uploads/2023/03/CYBER-CASE-US-web.jpeg)
The new French Cyber Campus awards CLEARSY on a safe and secure sovereign computer. The Cyber Campus at PARIS was […]
![](https://www.clearsy.com/wp-content/uploads/2023/03/RSSR-2023-annonce-UK-web.jpeg)
This year the RSSRail 2023 conference will take place in Berlin, Germany. It is co-organized by CLEARSY, Université Gustave Eiffel […]
![](https://www.clearsy.com/wp-content/uploads/2022/01/2-decades-ATB-US-web.jpeg)
The release of Atelier B 4.7 materializes two decades of industrial exploitation of the B formal method, with the support […]
![](https://www.clearsy.com/wp-content/uploads/2022/01/ATB-4.7-US-web.jpeg)
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 […]
![](https://www.clearsy.com/wp-content/uploads/2021/11/Proof-US-web.jpeg)
Proof automation and support for interactive proof are key components in the application of formal methods for software and system […]