|
Schedule |
|
This
is a tentative schedule subject to change.
|
|||
| Ημερομηνία |
|
Φροντιστήριο/Εργαστήριο |
|
| 16/1 | Α: Εισαγωγή |
Β: Αρχές Μοντελοποίησης |
- |
| 23/1 | Α: Αρχές Μοντελοποίησης | Β: LTL |
Μοντελοποίηση |
| 30/2 |
LTL |
LTL | |
| 6/2 |
Spin and Promela | LTL + SPIN | |
| 13/2 |
Spin and Promela | SPIN | |
| 20/2 | CTL | CTL | |
|
|
Καθαρά Δευτέρα | - | |
|
|
Χρονικά Αυτόματα | Επανάληψη | |
|
|
UPPAAL | Χρονικά Αυτόματα | |
| 20/3 | ’λγεβρες Διεργασιών | UPPAAL | |
| 27/3 |
Ισοδυναμίες | UPPAAL | |
| 3/4 | HML | ’λγεβρες Διεργασιών | |
| 24/4 |
HML | Επανάληψη | Ισοδυναμίες και ΗΜL |
| ’σκηση |
Ημερομηνία Διάθεσης |
Ημερομηνία Παράδοσης |
Θέματα |
| 1 | 30 Ιανουρίου |
15 Φεβρουαρίου |
Μοντελοποίηση και LTL |
| 2 |
15 Φεβρουαρίου | 3 Μαρτίου | SPIN |
| 3 |
6 Μαρτίου | 20 Μαρτίου | Xρονικά Αυτόματα και CTL |
| 4 |
20 Μαρτίου | 3 Απριλίου | UPPAAL |
| 5 |
3 Απριλίου | 28 Απριλίου | ’λγεβρες Διεργασιών |
|
|
|
|
|
|
|
|
|
|
’ννα Φιλίππου, Εαρινό Εξάμηνο
2017