CLEARSY est leader depuis plus de 20 ans dans l’application de la méthode formelle B, utilisée pour valider mathématiquement les […]
SIEMENS a confié à CLEARSY la sécurisation SIL2 de l’affichage de la supervision du nouveau système d’exploitation des trains RER […]
CLEARSY vous invite au WEBINAIRE : comment valider les données de paramétrage des logiciels critiques ? Le 23 mars 2023 […]
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 […]
CLEARSY utilise les méthodes formelles dans de nombreuses phases du cycle de développement : Le raisonnement système : pour définir […]
CLEARSY organise prochainement des formations à la méthode B, en présentiel, dans ses locaux parisiens. Formation de niveau 1 – […]