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

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

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

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