Version 4.5.1 de l’Atelier B pour Mac-OS

Sortie de la version de maintenance 4.5.5 de l’Atelier B

AFADL – GDR GPL : Clearsy fera une présentation sur l’Intégration d’outils tiers de preuve automatique dans l’Atelier B

Version 4.5.1 de l’Atelier B

Version 4.5 de l’Atelier B

Conférence Formal Methods à Oxford du 15 au 17 juillet 2018

Conférence internationale SBMF 2017

Prochaine session de formation B, niveau 2

La nouvelle version 4.4.2 de l’AtelierB est disponible

Version 4.4.2 de l’Atelier B