CLEARSY accompagne depuis plusieurs années le développement des logiciels d’automatismes sécuritaires SIL4 pour les zones de manœuvre du réseau luxembourgeois […]

CLEARSY présente son service d’analyse et de rénovation de système, une offre complète dédiée à la modernisation des systèmes critiques […]

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

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

Nous avons le plaisir de présenter la feuille de route 2025 de l’Atelier B, le premier IDE pour développer des […]

L’activité de preuve formelle système consiste à exprimer mathématiquement les propriétés globales par lesquelles la sécurité du système est garantie […]

L’Atelier B a été conçu par CLEARSY pour produire des logiciels sûrs, zéro défaut et conformes à leurs spécifications. Sa […]

Après plus d’une décennie de collaboration en recherche et développement, CLEARSY et l’UFRN signent un accord de coopération pour permettre […]