L’activité de R&D de CLEARSY en vérification formelle depuis plus de 10 ans … Génie logiciel, Outils, R&D
L’automatisation de la preuve et le support interactif à la preuve sont des éléments clés de l’application des méthodes formelles […]
Assigning safe processing to meanings Outils, R&D, Sûreté de fonctionnement
CLEARSY a développé et certifié la CLEARSY SAFETY PLATFORM (CSP), une solution pour développer des systèmes embarqués temps réel sécuritaires […]
Avec son relais de sécurité certifié SIL 4, CLEARSY a fait le buzz à InnoTrans Ferroviaire, Outils
Le relais de sécurité de niveau SIL 4 est une réalité : CLEARSY en a fait la présentation au salon international […]
