5 juillet 2023
CLEARSY est leader depuis plus de 20 ans dans l’application de la méthode formelle B, utilisée pour valider mathématiquement les logiciels et les systèmes critiques de sécurité.
CLEARSY organise prochainement des formations à la méthode B, (https://www.atelierb.eu/formation-b/) en présentiel, dans ses locaux parisiens.
- Formation de niveau 1 – Comprendre B : du 26 au 29 septembre 2023
- Formation de niveau 2 – Pratiquer B : du 17 au 20 octobre 2023
- Formation de niveau 3 – Prouver avec B : du 14 au 16 novembre 2023
Si vous souhaitez y participer, veuillez envoyer un courriel à formationb@clearsy.com pour vous inscrire en précisant le niveau de la formation.
Nous pouvons aussi organiser d’autres sessions de formations sur demande, à AIX, LYON ou PARIS.