![](https://www.clearsy.com/wp-content/uploads/2024/06/L14-B-FR-web-1.jpeg)
« Grace à la méthode B, pari tenu pour Meteor » … « Je n’avais jamais vu cela, le logiciel a été quasi […]
![](https://www.clearsy.com/wp-content/uploads/2024/04/ATB-24.04-US-web.jpeg)
Nous sommes ravis d’annoncer la sortie de notre dernière version de Atelier B. Voici ce qui est nouveau et amélioré […]
![](https://www.clearsy.com/wp-content/uploads/2024/03/formation-B-FR-web-q2-2024.jpeg)
CLEARSY organise prochainement des formations à la méthode B, en présentiel, dans ses locaux parisiens. Formation de niveau 3 – […]
![](https://www.clearsy.com/wp-content/uploads/2024/02/Maison-Blanche-FR-web.jpeg)
La maison Blanche met en avant l’usage des méthodes formelles dans un nouveau rapport publié. Trois extraits très intéressants : […]
![](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/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/01/Protocole-FR-web.jpeg)
Dans la continuité de nos activités dans le domaine de la sécurité incendie, CLEARSY implémente et réalise le protocole sécuritaire […]