Accueil l Actualités B l La Méthode B l
Travaux R&D l Preuve
Formelle l Publications l Conférences
B, les différents langages l Projets Open Source l Outils B l Documents l B Tools Forum l Liens l Contact
![]()
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.