 | Programme d’études 2019-2020 | English | |
| Méthodes formelles : Applications | |||
Activité d'apprentissage |
| Code | Titulaire(s) | Co-Titulaire(s) | Suppléant(s) et autre(s) | Établissement(s) |
|---|---|---|---|---|
| S-MATH-056 |
|
|
| Langue d’enseignement | Langue d’évaluation | HT(*) | HTPE(*) | HTPS(*) | HR(*) | HD(*) | Période d’enseignement |
|---|---|---|---|---|---|---|---|
| Français | Français | 0 | 0 | 60 | 0 | 0 | Q2 |
| Modalités d'organisation des évaluations à distance de fin de Q3 2019-2020 (Covid-19) |
|---|
|
| Description des modalités d'évaluation à distance de fin de Q3 2019-2020 (Covid-19) |
| Pas de changement par rapport à ce qui était prévu, hormis la dématérialisation. Pour rappel, la note de l'AA est basée sur le projet (évaluation continue) et les présentations. L'examen oral final est collectif et consiste simplement en un debriefing critique du projet. |
Contenu de l'AA
Lecture et présentation de travaux avancés en vérification et synthèse de systèmes informatiques. Projet : conception d'un système à l'aide de méthodes formelles.
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
- 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
(*) HT : Heures théoriques - HTPE : Heures de travaux pratiques encadrés - HTPS : Heures de travaux pratiques supervisés - HD : Heures diverses - HR : Heures de remédiation - Dans la colonne Pér. (Période), A=Année, Q1=1er quadrimestre et Q2=2e quadrimestre