C’est logique !

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

Collèges
Lycées
Familles

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.

Vous voulez
en savoir plus ?

Participez en présentiel
à ce jeu exploratoire et pédagogique.

Sessions :

Vendredi 8 octobre 2021

Matin : 3 sessions maximum

Après-midi : 3 sessions maximum

    Les champs marqués d'un * sont obligatoires.