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 nouvelles technologies ont un impact sur les systèmes de mobilité, et le monde du ferroviaire. Cependant, les normes imposent […]

CLEARSY lance une nouvelle version de son simulateur opérationnel de conduite de trains sur les voies équipées du système européen […]

La certification qualité Qualiopi a été délivrée par Bureau Veritas à CLEARSY au titre de la catégorie d’actions suivantes : Actions […]

Le calculateur CLEARSY Safety Platform existe désormais sous forme de kit de démarrage (starter kit), qui permet de prendre en […]

L’équipe de CLEARSY se fait une joie d’être présente sur le salon INNOTRANS qui aura lieu du 20 au 23 […]

EDF renouvelle sa confiance auprès de CLEARSY après 6 années d’appui technologique de progrès en sécurité et sûreté en I&C […]

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