 | Programme d’études 2024-2025 | English | |
| Méthodes formelles : Fondements | |||
Activité d'apprentissage |
| Code | Titulaire(s) | Co-Titulaire(s) | Suppléant(s) et autre(s) | Établissement(s) |
|---|---|---|---|---|
| S-MATH-051 |
|
|
| Langue d’enseignement | Langue d’évaluation | HT(*) | HTPE(*) | HTPS(*) | HR(*) | HD(*) | Période d’enseignement |
|---|---|---|---|---|---|---|---|
| Français | Français | 20 | 18 | 12 | 0 | 0 | Q1 |
Contenu de l'AA
Modélisation de systèmes. Linear temporal logic. Computation tree logic. Model checking symbolique. Vérification de systèmes probabilistes (et quantitatifs). Synthèse de systèmes probabilistes (et quantitatifs). Synthèse via la théorie des jeux. Présentations d'outils logiciels par les étudiants.
Supports principaux non reproductibles
Supports principaux disponibles sur Moodle.
Support complémentaires non reproductibles
Sans objet.
Autres références conseillées
C. Baier, J.-P. Katoen. Principles of Model Checking. MIT Press, 2008.
Mode d'enseignement
- En présentiel
Types d'activités
- Cours magistraux
- Exercices dirigés
- Utilisation de logiciels
- Démonstrations
- Préparations, travaux, recherches d'information
Evaluations
Les modalités d'évaluation de l'AA sont précisées dans la fiche de l'UE dont elle dépend
Implantation(s) où l’activité d’apprentissage sera organisée
- Université de Mons - Mons
Implantation(s) où l’activité d’apprentissage sera évaluée
- Université de Mons - Mons