Venez à la prochaine formation à la méthode B Outils, Société, Sûreté de fonctionnement

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

Les activités formelles dans le cycle en V Génie logiciel, Outils

CLEARSY utilise les méthodes formelles dans de nombreuses phases du cycle de développement : Le raisonnement système : pour définir […]

CLEARSY organise prochainement des 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 1 – […]

CLEARSY fournit un laboratoire ETCS au centre de recherche DZSF en Allemagne. ERTMS, Outils

CLEARSY va fournir à l’Office Fédéral des Chemins de Fer EBA (EisenBahn-Bundesamt) et au centre allemand de recherche sur le […]

Deux décennies d’application industrielle de la méthode formelle B. Génie logiciel, Outils, R&D

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

Le nouvel Atelier B 4.7 est disponible. Génie logiciel, Outils, R&D

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

Le superviseur de système de sécurité incendie (SSI) CLEARSY conforme à la norme SSI américaine NFPA 130. Outils, Sécurité Incendie, Sûreté de fonctionnement

Une analyse de norme a été réalisée afin de déterminer si le superviseur de système de sécurité incendie (SSI) CLEARSY […]

L’activité de R&D de CLEARSY en vérification formelle depuis plus de 10 ans … Génie logiciel, Outils, R&D

L’automatisation de la preuve et le support interactif à la preuve sont des éléments clés de l’application des méthodes formelles […]