Publication de la vidéo du wébinaire « Introduction à la CLEARSY Safety Platform »
Version 4.6.3 de l’Atelier B
Rodin : nouvelle versions 2.3.0 du plug-in des prouveur de l’Atelier B
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