Vérification algorithmique pour le développement de systèmes fiables

Club informatique
  • Quand ? 14/11/2018 de 12:30 à 13:20 (America/New_York / UTC-500)
  • Où ? Au local D3-2038 de la Faculté des sciences
  • Nom du contact
  • Participants Michael Blondin, professeur au Département d'informatique
  • Ajouter l'événement au calendrier iCal

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.