|
Class Notes |
| Ç éóôïóåëßäá áõôÞ èá åíçìåñþíåôáé ôáêôéêÜ
ìå ôéò
äéáöÜíåéåò ôùí äéáëÝîåùí óå ìïñöÞ pdf. |
| ÄéÜëåîç 1 |
ÅéóáãùãÞ
- ΕισαγωγικÞ ΠεριγραφÞ του ΜαθÞματος |
download (pdf) |
| ΔιαλÝξεις 2-3 |
ΑρχÝς Μοντελοποßησης ΣυστημÜτων - ΜοντελοποιÞση σειριακþν και συντρÝχοντων συστημÜτων, συστÞματα μεταβÜσεων, δικαιοσýνη αναπαρÜσταση ταυτοχρονισμοý με παρεμβαλλüμενη και μερικÞ διÜταξη |
download (pdf) |
| ΔιαλÝξεις 4-5 |
ΓραμμικÞ ΧρονικÞ ΛογικÞ - ΓραμμικÞ ΧρονικÞ ΛογικÞ (σýνταξη και ερμηνεßα), Διατýπωση ιδιοτÞτων, ΔομÝς Kripke, ΜοντελοÝλεγχος |
download (pdf) |
| ΔιÜλεξη 6 |
AυτοματοποιημÝνη ΕπαλÞθευση - ¸λεγχος μοντÝλου με αλγüριθμους γρÜφων και αλγüριθμους αυτομÜτων |
download (pdf) |
| ΔιαλÝξεις 7-9 | ΕισαγωγÞ στη SPIN - O model-checker SPIN, η γλþσσα προδιαγραφÞς συστημÜτων Promela, Σημασιολογßα εκτÝλεσης και παραδεßγματα |
download (pdf) |
| ΔιαλÝξεις 10-11 | ΔιακλαδωμÝνη ΧρονικÞ ΛογικÞ - H CTL (σýνταξη και ερμηνεßα), διατýπωση ιδιοτÞτων, ΜοντελοÝλεγχος. Δικαιοσυνη |
download (pdf) |
| ΔιαλÝξεις 12-14 | ΧρονικÜ Αυτüματα - ΣυστÞματα πραγματικοý χρüνου, διακριτüς και συνεχÞς χρüνος, χρονικÜ αυτüματα, χρονικÞ CTL. |
download (pdf) |
| ΔιαλÝξεις 15-16 | ΕισαγωγÞ στο εργαλεßο UPPAAL - Η γλþσσα του εργαλεßου, ο προσομοιωτÞς, ο μοντελοελεγκτÞς |
download (pdf) |
| ΔιαλÝξεις 17-18 | ¢λγεβρες Διεργασιþν - ΠροδιαγραφÞ και ΕπαλÞθευση με Üλγεβρες διεργασιþν. Η Üλγεβρα διεργασιþν CCS (σýνταξη και σημασιολογßα) |
download (pdf) |
| ΔιαλÝξεις 19-20 | ¢λγεβρες Διεργασιþν και ΣχÝσεις Ισοδυναμßας |
download (pdf) |
| ΔιÜλεξη 21 | Aλγεβρες Διεργασιþν |
download (pdf) |
|
|
|
|
|
|
|
|
|
|
¢ííá Öéëßððïõ, Φθινüπωρο
2017