CLEARSY organise prochainement des formations à la méthode B, en présentiel, dans ses locaux parisiens. Formation de niveau 1 – […]
La mise à disposition de l’Atelier B 4.7 concrétise deux décennies d’exploitation industrielle de la méthode formelle B, avec le […]
L’Atelier B 4.7.1 est disponible en version Community Edition (https://www.atelierb.eu/en/atelier-b-support-maintenance/download-atelier-b/) et en version Maintenance Edition pour les possesseurs d’un contrat de […]
L’automatisation de la preuve et le support interactif à la preuve sont des éléments clés de l’application des méthodes formelles […]
Cette version est une version Free Edition, dont l’accès est libre, elle est donc directement téléchargeable. Après Linux et Windows, […]
La première version du CLEARSY Safety Platform Handbook est disponible au téléchargement. Il sera enrichi chaque mois avec de nouveaux […]
L’environnement de développement logiciel de la CLEARSY Safety Platform est disponible au téléchargement pour les possesseurs d’une carte SK0. Il […]
Le projet collaboratif LCHIP piloté par CLEARSY vise à produire une plateforme de calcul, capable d’automatiser le développement à bas […]