Descriptif
Ce cours est une introduction à l'utilisation des méthodes formelles pour l'analyse automatique des systèmes.
Les méthodes formelles sont des techniques basées sur logique mathématique, permettant de raisonner rigoureusement sur un programme informatique ou du matériel électronique numérique, afin de démontrer leur validité par rapport à une certaine spécification.
Objectifs pédagogiques
Les objectifs principaux du cours de méthodes formelles sont d'initier les étudiants aux concepts fondamentaux des méthodes formelles, d'apprendre à spécifier le comportement des systèmes et d'expérimenter les outils de preuve.
effectifs minimal / maximal:
12/30Diplôme(s) concerné(s)
Parcours de rattachement
Pour les étudiants du diplôme Diplôme d'ingénieur
Aucun
Format des notes
Numérique sur 20Littérale/grade européenPour les étudiants du diplôme Diplôme d'ingénieur
Vos modalités d'acquisition :
Contrôle terminal écrit (1h30)
L'UE est acquise si Note finale >= 10- Crédits ECTS acquis : 2 ECTS
La note obtenue rentre dans le calcul de votre GPA.
Programme détaillé
The course gives both the theoretical foundations and the practical use of formal methods.
- Les cours en classe se concentrent sur les fondements du raisonnement formel : la logique du premier ordre, les techniques de preuve telles que la technique déductive.
- Dans l'apprentissage pratique, les notions seront approfondies par l'utilisation d'outils de preuve.
Le cours présente à la fois les fondements théoriques et l'utilisation pratique des méthodes formelles.
Les étudiants apprendront les bases de la logique classique et du raisonnement déductif.
Application pratique des méthodes formelles : Les étudiants expérimenteront une méthode formelle soutenue par un outil.
Mots clés
Spécifications, modélisation, vérificationSupport pédagogique multimédia
