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