![](https://www.clearsy.com/wp-content/uploads/2023/01/ATB-T2-4.7-FR-web.jpeg)
Une version certifiée de l’ATELIER B, l’outil pour la réalisation de la spécification et de la preuve de logiciel sécuritaire […]
![](https://www.clearsy.com/wp-content/uploads/2023/01/formation-B-FR-web-2023.jpeg)
CLEARSY est leader depuis plus de 20 ans dans l’application de la méthode formelle B, utilisée pour valider mathématiquement les […]
![](https://www.clearsy.com/wp-content/uploads/2022/12/UIC-FR-web.jpeg)
Les nouvelles technologies ont un impact sur les systèmes de mobilité, et le monde du ferroviaire. Cependant, les normes imposent […]
![](https://www.clearsy.com/wp-content/uploads/2022/11/OPSIMU-FR-web.jpeg)
CLEARSY lance une nouvelle version de son simulateur opérationnel de conduite de trains sur les voies équipées du système européen […]
![](https://www.clearsy.com/wp-content/uploads/2022/11/Qualiopi-FR-web.jpeg)
La certification qualité Qualiopi a été délivrée par Bureau Veritas à CLEARSY au titre de la catégorie d’actions suivantes : Actions […]
![](https://www.clearsy.com/wp-content/uploads/2022/11/KIT-CSP-FR-web-1.jpeg)
Le calculateur CLEARSY Safety Platform existe désormais sous forme de kit de démarrage (starter kit), qui permet de prendre en […]
![](https://www.clearsy.com/wp-content/uploads/2022/07/INNOTRANS-2022-FR-web.jpeg)
L’équipe de CLEARSY se fait une joie d’être présente sur le salon INNOTRANS qui aura lieu du 20 au 23 […]
![](https://www.clearsy.com/wp-content/uploads/2022/06/contrat-cadre-EDF-FR-web.jpeg)
EDF renouvelle sa confiance auprès de CLEARSY après 6 années d’appui technologique de progrès en sécurité et sûreté en I&C […]