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