C’est logique !
Serenella CERRITO
...
Trouvez le chemin vers le trésor.
Logique Vérification formelle
Date
Vendredi 14 octobre de 10h à 12h et de 14h à 16h (Lycées) - Sur inscription
Samedi 15 octobre de 10h à 12h et de 14h à 16h (Familles, Tout public) - Entrée libre
Public
Durée
30 minutes
Université d’Évry Paris-Saclay
Site Maupertuis – Hall
3 rue du Père Jarlan
91025 Évry-Courcouronnes
UFR SFA / Laboratoire IBISC
Département informatique
Résumé
Dans un château mystérieux, rempli de passages secrets et de pièges, trouverez-vous un chemin conduisant au trésor en évitant les pièges et en étant toujours éclairé par une torche ou une fenêtre ?
Ascenseurs, trains automatiques, divers appareils pour la gestion des incendies : le monde actuel abonde de systèmes sophistiqués desquels on 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 initiera aux notions de ce processus d’une manière visuelle et ludique, en utilisant un logiciel conçu spécifiquement pour cette découverte.