|
Schedule |
|
This
is a tentative schedule subject to change.
|
|||
| Ημερομηνία |
|
Φροντιστήριο/Εργαστήριο |
|
| 5/9 | Α: Εισαγωγή |
Β: Αρχές Μοντελοποίησης |
- |
| 12/9 | Α: Αρχές Μοντελοποίησης | Β: LTL |
Μοντελοποίηση |
| 19/9 |
LTL |
LTL | |
| 26/9 |
Spin and Promela | SPIN | |
| 3/10 |
Spin and Promela | SPIN | |
| 10/10 | CTL | CTL | |
|
|
Χρονικά Αυτόματα | Επανάληψη | |
|
|
UPPAAL | Ενδιάμεση Εξέταση | |
|
|
’λγεβρες Διεργασιών | Χρονικά Αυτόματα | |
| 7/11 | ’λγεβρες Διεργασιών | UPPAAL | |
| 14/11 |
Ισοδυναμίες | UPPAAL | |
| 21/11 | HML | ’λγεβρες Διεργασιών | |
| 28/11 |
HML | Επανάληψη | Ισοδυναμίες και ΗΜL |
| ’σκηση |
Ημερομηνία Διάθεσης |
Ημερομηνία Παράδοσης |
Θέματα |
| 1 | 18 Σεπτεμβρίου |
3 Oκτωβρίου |
Μοντελοποίηση και LTL |
| 2 |
3 Oκτωβρίου | 18 Oκτωβρίου | SPIN |
| 3 |
17 Oκτωβρίου | 31 Οκτωβρίου | Xρονικά Αυτόματα και CTL |
| 4 |
31 Οκτωβρίου | 15 Νοεμβρίου | UPPAAL |
| 5 |
15 Νοεμβρίου | 1 Δεκεμβρίου | ’λγεβρες Διεργασιών |
|
|
|
|
|
|
|
|
|
|
’ννα Φιλίππου, Φθινόπωρο
2017