CLEARSY réalise la preuve formelle du système Contrôle – Commande – Signalisation du projet HPMV : la nouvelle signalisation ERTMS Niveau […]

CLEARSY sécurise la signalisation de deux sites de maintenance et de remise (SMR) en région parisienne pour le compte de […]

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

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’automatisation de la preuve et le support interactif à la preuve sont des éléments clés de l’application des méthodes formelles […]

CLEARSY a le plaisir d’annoncer sa présence à la conférence ICT qui aura lieu du 7 au 8 décembre 2021 […]

Le laboratoire LabSoC de Télécom Paris et CLEARSY s’associent pendant 2 ans pour intégrer la gestion des menaces en cybersécurité dans […]