CLEARSY a réalisé la validation formelle des données de signalisation pour le Pôle étude ingénierie de Lyon, dans le cadre […]

Dans le cadre d’un projet financé par l’Agence National de recherches (ANR), CLEARSY collabore avec le LORIA (Nancy), le CRIL […]

CLEARSY et Hitachi Rail ont signé un accord-cadre, destiné à soutenir le développement de l’infrastructure ferroviaire européenne via des solutions […]

CLEARSY Safety Platform, un calculateur pour le contrôle sécuritaire d’équipements. En 2021, CLEARSY a obtenu le certificat de son calculateur […]

Le manuel d’utilisation de la méthode B, le B WORKBOOK, est désormais disponible sur le GitHub de CLEARSY : (https://github.com/CLEARSY/BWORKBOOK). […]

La sécurité n’est pas une option : c’est une exigence. La RATP l’illustre une nouvelle fois en choisissant à nouveau […]

Dans le cadre du déploiement du système européen de contrôle des trains (ETCS Niveau 2) sur une ligne à grande […]

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