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...
Thierry Lecomte
Tutoriel « Utiliser B pour programmer la CLEARSY Safety Plateform »
Un tutoriel virtuel en accès libre sur la programmation de la CLEARSY Safety Platform est organisé pendant la conférence internationale ABZ 2021, le 8 juin...
Publication de la vidéo du wébinaire « Introduction à la CLEARSY Safety Platform »
La vidéo du webinaire "Introduction to the CLEARSY Safety Platform", organisé entre mars et mai 2021, est disponible sur Youtube. Il s'agit d'une plateforme à...
Version 4.6.3 de l’Atelier B
Nous avons le plaisir de vous informer de la mise à disposition de la version 4.6.3 de l’Atelier B. Cette version est exclusivement réservée aux détenteurs...
Rodin : nouvelle versions 2.3.0 du plug-in des prouveur de l’Atelier B
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...
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...