La maison Blanche met en avant l’usage des méthodes formelles dans un nouveau rapport publié. Trois extraits très intéressants : […]

Nous sommes ravis d’annoncer que CLEARSY a récemment signé un contrat cadre de quatre ans avec la RATP pour la […]

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

Une nouvelle version de la spécification du système de contrôle de la marche des trains européens standardisé (ETCS) vient de […]

Le métro de Honolulu est équipé de portes palières STANLEY qui sont contrôlées par le système de pilotage automatique de […]

Pendant une semaine, les étudiants de l’UFRN vont s’affronter sur plusieurs défis impliquant la modélisation en B et les applications […]

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