Nous sommes ravis d'annoncer la sortie de notre dernière version deAtelier B. Voici ce qui est nouveau et amélioré dans cette version : Fonctionnalités...
Thierry Lecomte
Journée « preuve mathématique et sûreté logicielle
CLEARSY est fière de participer à Horizon Maths 2024. C'est une initiative de la Fondation Sciences Mathématiques de Paris centrée sur "la preuve mathématique...
Prochaines Formations B 2023
Prochaines formations à la méthode B en Septembre, Octobre et Novembre 2023 ! CLEARSY est leader depuis plus de 20 ans dans l’application de la méthode...
Tutoriel « Utiliser B pour programmer la CLEARSY Safety Platform »
Nous avons le plaisir d'annoncer une occasion unique d'explorer les subtilités du développement de systèmes critiques en matière de sécurité à l'aide de la...
Atelier B Professional Edition 23.02
"Atelier B Professional Edition 23.02" est disponible dès aujourd'hui sur Windows et Linux pour tous les détenteurs actuels d'un contrat de maintenance. Les...
Roadmap Atelier B 2023-2024
En 2023, la version Professionelle sera mise à jour 2 fois .
En 2024, la version Professionnelle certifiée T2 sera mise à disposition, ainsi que la version Communitaire intégrant un générateur de code RUST.