24 octobre 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 3 – Prouver avec B : du 14 au 16 novembre 2023
- Formation de niveau 1 – Comprendre B : du 30 janvier au 2 février 2024
- Formation de niveau 2 – Pratiquer B : du 27 février au 1er mars 2024
- Formation de niveau 3 – Prouver avec B : du 26 au 28 mars 2024
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.
A noter que nos formations sont finançables par OPCO puisqu’elles sont certifiées QUALIOPI.