A l'occasion de la conférence ABZ 2025 qui aura lieu du 10 au 13 Juin 2025 à Düsseldorf, CLEARSY présentera un keynote intitulé "Mathematical Proofs and...
Actualités

Contournement pour le problème d’exécution Atelier B 24.04 Windows
Dans un environnement contraint (laboratoire universitaire), l'administrateur réalise l'installation et le fichier AtelierB se trouve être un dossier qui sera...

Atelier B Community Edition 24.04 disponible
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...

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