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...
Thierry Lecomte
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...
Conférence Formal Methods à Oxford du 15 au 17 juillet 2018
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...