C'est logique !
Événement passé
SERENELLA CERRITO
...
Dans un château mystérieux, rempli de passages secrets et de pièges, est-il possible de trouver un chemin conduisant au trésor en évitant les pièges et en étant toujours éclairé par une torche ou une fenêtre ?
Logique Vérification formelle
Public
Durée
30 minutes
UFR SFA / IBISC / Département informatique
Résumé
Ascenseurs, trains automatiques, divers appareils pour la gestion des incendies : le monde actuel abonde de systèmes sophistiqués desquels on s’attend à un fonctionnement correct dans toute situation possible et imaginable. Comment les scientifiques et les ingénieurs s’assurent-ils que les systèmes qu’ils conçoivent et construisent réalisent bien les comportements préconisés ? La réponse : vérification automatique (model checking, en anglais) !
Cet atelier vous initiera à ce processus d’une manière visuelle et ludique, en utilisant un logiciel conçu spécifiquement pour cette découverte.
Sessions
Vendredi 8 octobre 2021
Matin : 3 sessions maximum
Après-midi : 3 sessions maximum