Nous avons le plaisir de vous annoncé que la nouvelle versions 2.3.0 du plug-in des prouveur de l'Atelier B est maintenant disponible. Ce plug-in est fait...
Thierry Lecomte
Version 4.5.1 de l’Atelier B pour Mac-OS
Cette version est une version Free Edition, dont l’accès est libre, elle est donc directement téléchargeable. Cet installeur permet une exécution de...
Sortie de la version de maintenance 4.5.5 de l’Atelier B
L’Atelier B 4.5.5 Maintenance édition est disponible au téléchargement. Cette version corrige notamment une anomalie présente depuis les premières versions du...
AFADL – GDR GPL : CLEARSY fera une présentation sur l’Intégration d’outils tiers de preuve automatique dans l’Atelier B
Les dix-huitièmes journées AFADL (Approches Formelles dans l’Assistance au Développement Logiciel) se tiendront du 11 au 14 juin 2019 à l’ENSEEIHT, en même...
Version 4.5.1 de l’Atelier B
Cette version est une version Free Edition, dont l’accès est libre, elle est donc directement téléchargeable. Cette version corrige une anomalie sur l'appel...
Version 4.5 de l’Atelier B
Cette version est une version Free Edition, dont l’accès est libre, elle est donc directement téléchargeable. Cette version corrige, de manière...