Divers

Atelier B 4.6 pour EAL6+

Atelier B 4.6 pour EAL6+

L'Atelier B 4.6 est actuellement utilisé par deux industriels de renommée mondiale pour la certification de composants micro-électroniques au niveau EAL6+...

IA pour la preuve interactive

IA pour la preuve interactive

Dans le cadre du projet de R&D collaboratif AIDOaRT, CLEARSY va développer un module dans le prouveur interactif de l'Atelier B qui peut apprendre du...

ABZ 2014

ABZ 2014

La conférence ABZ 2014 s'est tenue du 02 au 06 Juin à Toulouse. Elle a regroupé environ 120 personnes et a permis aux communautés B, Z, ASM, Alloy et VDM de...

Atelier B 4.1.1

Atelier B 4.1.1

L'Atelier B 4.1.1 est disponible au téléchargement, pour les possesseurs d'un contrat de maintenance Atelier B 4.  Cette version corrige 59 anomalies  et...