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...
Actualités
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...
Conférence Formal Methods – FM 2018 – Oxford
A l'occasion de la conférence Formal Methods qui se tiendra à Oxford (UK) du 15 au 17 Juillet 2018, CLEARSY présentera sa vision de l'utilisation des méthodes...