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+...
Divers
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...
Architecture bi-processeur SIL4 présentée du Printemps de l’Innovation Open Source
A l'occasion de la journée "Langages et outils pour la fiabilité logicielle" qui aura lieu le 12/05/2016 à Paris (Jussieu), dans le cadre du Printemps...
Atelier de modélisation temporelle Waruna présenté au salon « Machine to Machine & Objets connectés »
A l'occasion du salon "Machine to Machine" qui aura lieu les 23 et 24 Mars 2016 à Paris Expo Porte de Versailles, CLEARSY participera à la conférence...
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
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...