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 – […]

La maison Blanche met en avant l’usage des méthodes formelles dans un nouveau rapport publié Génie logiciel, Outils, Sûreté de fonctionnement

La maison Blanche met en avant l’usage des méthodes formelles dans un nouveau rapport publié. Trois extraits très intéressants : […]

Premières dates de formation à la méthodes B 2024 Génie logiciel, Outils

CLEARSY est leader depuis plus de 20 ans dans l’application de la méthode formelle B, utilisée pour valider mathématiquement les […]