Une première mondiale, les raisonnements de sécurité des systèmes, formellement prouvés T2 EN50129 SIL4 Génie logiciel, Offres, Outils, Sûreté de fonctionnement

L’activité de preuve formelle système consiste à exprimer mathématiquement les propriétés globales par lesquelles la sécurité du système est garantie […]

Certification T2 pour l’Atelier B Génie logiciel, Outils, Sûreté de fonctionnement

L’Atelier B a été conçu par CLEARSY pour produire des logiciels sûrs, zéro défaut et conformes à leurs spécifications. Sa […]

CLEARSY et l’UFRN concluent un accord de coopération pour promouvoir des stages internationaux Génie logiciel, Outils, R&D

Après plus d’une décennie de collaboration en recherche et développement, CLEARSY et l’UFRN signent un accord de coopération pour permettre […]

L’outil de développement formel ATELIER B franchit la barre des 10000 téléchargements ! Composant, Génie logiciel, Outils, R&D

L’Atelier B vient de franchir pour la première fois la barre des 10 000 téléchargements annuels. La rentrée universitaire 2024 a […]

Participation de CLEARSY à FM2024 Génie logiciel, Salons/conférences, Sûreté de fonctionnement

CLEARSY a participé à FM2024, l’une des plus importantes conférences sur les méthodes formelles au monde. Plus de 300 chercheurs […]

Prolongement de la Ligne 14 du Métro Parisien : plus de 25 Ans de fiabilité grâce à la méthode formelle B Génie logiciel, Offres, Outils, Sûreté de fonctionnement

« Grace à la méthode B, pari tenu pour Meteor » … « Je n’avais jamais vu cela, le logiciel a été quasi […]

L’Atelier B Community Edition 24.04 disponible ! Génie logiciel, Outils

Nous sommes ravis d’annoncer la sortie de notre dernière version de Atelier B. Voici ce qui est nouveau et amélioré […]

Nouvelles formations à la méthode B Génie logiciel, Outils

CLEARSY organise prochainement des formations à la méthode B, en présentiel, dans ses locaux parisiens. Formation de niveau 3 – […]