CLEARSY entre de plain-pied dans le projet Grand Paris Express avec un système de supervision des équipements de sécurité incendie […]

Le nouveau Campus Cyber soutient CLEARSY sur un projet de calculateur sûr et sécuritaire souverain. Le Campus cyber à la […]

Cette année, la conférence RSSRail 2023 aura lieu à Berlin. Elle est co-organisée par CLEARSY, l’Université Gustave Eiffel et DTU […]

CLEARSY vous invite au WEBINAIRE : comment valider les données de paramétrage des logiciels critiques ? Le 23 mars 2023 […]

CLEARSY se fait une joie de soutenir la filière ferroviaire Française en annonçant sa présence sur le salon du SIFER […]

Dans la continuité de nos activités dans le domaine de la sécurité incendie, CLEARSY implémente et réalise le protocole sécuritaire […]

Une version certifiée de l’ATELIER B, l’outil pour la réalisation de la spécification et de la preuve de logiciel sécuritaire […]

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