![](https://www.clearsy.com/wp-content/uploads/2023/10/formation-B-FR-web-q1-2024.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/2023/09/ETCS-B4-FR-web.jpeg)
Une nouvelle version de la spécification du système de contrôle de la marche des trains européens standardisé (ETCS) vient de […]
![](https://www.clearsy.com/wp-content/uploads/2023/08/Dame-Honolulu-V2-FR-web.jpeg)
Le métro de Honolulu est équipé de portes palières STANLEY qui sont contrôlées par le système de pilotage automatique de […]
![](https://www.clearsy.com/wp-content/uploads/2023/07/HACKATHON-CSP-FR-web.jpeg)
Pendant une semaine, les étudiants de l’UFRN vont s’affronter sur plusieurs défis impliquant la modélisation en B et les applications […]
![](https://www.clearsy.com/wp-content/uploads/2023/07/formation-B-FR-web-S2-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/2023/05/IHM-FR-web.jpeg)
SIEMENS a confié à CLEARSY la sécurisation SIL2 de l’affichage de la supervision du nouveau système d’exploitation des trains RER […]
![](https://www.clearsy.com/wp-content/uploads/2024/04/ATB-23.02-US-web.jpeg)
“Atelier B Professional Edition 23.02” is now available on Windows and Linux for all current maintenance contract holders. https://www.atelierb.eu/en/atelier-b-professional-edition-23-02-copy/
![](https://www.clearsy.com/wp-content/uploads/2023/02/webinaire-data-valid-web-FR-1.jpeg)
CLEARSY vous invite au WEBINAIRE : comment valider les données de paramétrage des logiciels critiques ? Le 23 mars 2023 […]