16 janvier 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, en présentiel, dans ses locaux parisiens.
- Formation de niveau 1 – Comprendre B : du 22 au 25 mai 2023
- Formation de niveau 2 – Pratiquer B : du 19 au 22 juin 2023
- Formation de niveau 3 – Prouver avec B : à déterminer
Si vous souhaitez y participer, veuillez envoyer un email à 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.