Semaine du jeudi
|
À faire
|
À remettre au
début du cours
|
8 septembre
|
plan de cours, introduction, logique propositionnelle, logique des prédicats, preuve
|
|
| 15 septembre
|
Introduction, logique propositionnelle, logique des prédicats, preuve |
|
| 22 septembre |
Alloy |
devoir 1
|
| 29 septembre |
Alloy
|
|
| 6 octobre |
CSP - opérateurs et sémantique opérationnelle
|
devoir 2 |
| 13 octobre |
CSP - opérateurs et sémantique opérationnelle |
|
| 20 octobre |
examen intra |
devoir 3 |
| 27 octobre |
semaine de relâche |
|
| 3 novembre |
CSP - raffinement (trace, échec et divergence)
|
|
| 10 novembre |
Diagrammes états-transitions hiérarchiques
|
devoir 4 |
| 17 novembre |
Diagrammes états-transitions hiérarchiques |
|
| 24 novembre |
Logique temporelle linaire |
devoir 5 |
| 1 décembre |
Logique temporelle arborescente |
|
| 8 décembre |
Preuve de correction de programmes |
devoir 6 |
| 15 décembre |
examen final |
|