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...

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...
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" est disponible dès aujourd'hui sur Windows et Linux pour tous les détenteurs actuels d'un contrat de maintenance. Les...
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.
L’Atelier B 4.7.1 est disponible en version Community Edition (https://www.atelierb.eu/en/atelier-b-support-maintenance/download-atelier-b/) et en...
Systerel a utilisé la méthode formelle B et l'Atelier B pour le développement de sa solution open-source Safe and Secure Open Platform Communications (S2OPC),...