![](https://www.clearsy.com/wp-content/uploads/2022/02/HPMV-US-web.jpeg)
CLEARSY realizes the formal proof of the Control – Command – Signalling system of the HPMV project: the new Hybrid […]
![](https://www.clearsy.com/wp-content/uploads/2022/01/SIG-SIL4-US-web.jpeg)
CLEARSY secures the signalling of two maintenance and handover sites (SMR) in the Paris region for Mobility and prepares the […]
![](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/NFPA-US-web.jpeg)
A standard analysis was performed to determine if the CLEARSY fire safety system (FSS) supervisor could be used in countries […]
![](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 […]
![](https://www.clearsy.com/wp-content/uploads/2021/11/ICT-US-web.jpeg)
CLEARSY is pleased to announce its presence at the ICT workshop which will take place from 7 to 8 December […]
![](https://www.clearsy.com/wp-content/uploads/2021/10/Cyber-US-web.jpeg)
The LabSoC laboratory at Telecom Paris school and CLEARSY are joining forces for two years to integrate cybersecurity threat management […]