Vérification de modèles (VERVannes)

Description

Les objectifs du module sont (1) d'apprendre à utiliser les automates comme représentation mathématique d'un système ou d'une propriété, (2) d'introduire les méthodes de vérification formelles qui utilisent la théorie des automates, (3) d'utiliser des outils qui implémentent ces méthodes.

Mots-clés

Contenu

Savoir : - Modélisation de logiciel au moyen de représentation mathématiques. - Bases de la vérification formelle par le model checking. Savoir-faire : - Mise en pratique des algorithmes fondamentaux du model checking. - La mise en application d'outils de vérification par le model checking. - Le lien entre le model checking et la validation de propriétés liées à la cybersécurité.

Compétences acquises

Contrôle continu (activités pratiques et exercices de recherche, présentations d'articles et devoirs)

Enseignant

Axel Legay