 | Programme d’études 2020-2021 | 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 | 30 | 15 | 5 | 0 | 0 | Q1 |
| Modalités d'organisation des évaluations de fin de Q3 2020-2021 (Covid-19) à distance ou en présentiel (selon les informations reprises à l'horaire) |
|---|
|
| Description des modalités d'évaluation de fin de Q3 2020-2021 (Covid-19) à distance ou en présentiel (selon les informations reprises à l'horaire) |
| Comme prévu, en présentiel. |
Modalités d'organisation des évaluations de fin de Q1 2020-2021 (Covid-19) à distance ou en présentiel (selon les informations reprises à l'horaire)
- Epreuve orale (Questions - réponses, présentation d'un travail individuel ou collectif, commentaire et argumentation à propos d'un travail écrit,...)
Description des modalités d'évaluation à distance de fin de Q1 2020-2021 (Covid-19) à distance ou en présentiel (selon les informations reprises à l'horaire)
Comme prévu, mais via Teams.
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
- Face à face
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