Conférence FM’2008, à Turku, en Finlande

A l’occasion de la conférence internationale sur les méthodes formelles (FM’2008), Turku, Finlande (28-30 Mai 2008), CLEARSY a présenté lors de l’Industry Day un article intitulé « Systèmes sûrs et fiables pour le contrôle et la commande de portes palières de métro ».

Cet événement a été l’occasion de décrire notre expérience récente de l’utilisation de B pour la spécification, la conception et la contribution à la validation de systèmes de séucrité.

Un nouvel outil, Bart (B Automatic Refinement Tool) a été présenté et des démonstrations ont été organisées.