|
Schedule |
|
This
is a tentative schedule subject to change.
|
|||
| Ημερομηνία |
|
Φροντιστήριο/Εργαστήριο |
|
| 15/1 | Α: Εισαγωγή |
Β: Αρχές Μοντελοποίησης |
- |
| 22/1 | Α: Αρχές Μοντελοποίησης | Β: LTL |
Φ: Μοντελοποίηση |
| 29/1 |
LTL |
Φ: LTL | |
| 5/2 |
Spin and Promela | Ε: SPIN | |
| 12/2 |
CTL | Ε: SPIN | |
| 19/2 | Χρονικά Αυτόματα | Φ: CTL, Ε: SPIN |
|
|
|
UPPAAL | Φ: Επανάληψη, E: UPPAAL |
|
|
|
’λγεβρες Διεργασιών | Φ: Χρονικά Αυτόματα, Ε: Ενδιάμεση Εξέταση | |
|
|
’λγεβρες Διεργασιών | Φ: ’λγεβρες Διεργασιών,E: UPPAAL |
|
| 18/3 | Ισοδυναμίες | Φ: ’λγεβρες Διεργασιών, E: UPPAAL |
|
| 25/3 |
Αργία 25 Μαρτίου | E: αναπλήρωση διάλεξης | |
| 1/4 | Αργία 1 Απριλίου | Ε: αναπλήρωση διάλεξης | |
| 8/4 | HML | Φ: Ισοδυναμίες και ΗΜL | |
| 29/4 |
Παρουσιάσεις ’ρθρων | Φ: Παρουσιάσεις άρθρων | |
|
|
|
|
|
|
|
|
|
|
’ννα Φιλίππου, Φθινόπωρο
2020