Description : 

Conférencier : Michael Blondin, professeur au Département d'informatique de la Faculté des sciences de l'Université de Sherbrooke

Résumé : Cette présentation traitera de la vérification algorithmique: une approche formelle qui permet de vérifier automatiquement qu'un système concurrent se comporte correctement. Nous ferons un survol des différents défis et paradigmes de vérification (systèmes finis, infinis, temporisés ou probabilistes). En particulier, nous discuterons d'avancées récentes concernant la vérification de réseaux dynamiques constitués d'agents mobiles collaborant afin d'accomplir une tâche commune.

La présentation donnera un aperçu du cours de «Techniques de vérification et de validation» offert à l'hiver 2019.

Toutes les personnes intéressées sont cordialement invitées.