ÅÐË 664: ΑνÜλυση και ΕπαλÞθευση ΣυστημÜτων
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

¢λγεβρες Διεργασιþν και ΣχÝσεις Ισοδυναμßας
- ΣχÝσεις ισοδυναμßας: trace equivalence, failure equivalence, strong bisimulation,  weak bisimulation

download (pdf)
ΔιÜλεξη 21

Aλγεβρες Διεργασιþν
- Οι λογικÝς HML και WHML. Ο λογικüς χαρακτηρισμüς της ισχυρÞς και ασθενοýς διπροσομοßωσης.

download (pdf)

 
 
 
EPL664
Tutorials
Solutions
Course Schedule
Announcements
Class Contract
Assignments
Related Links

¢ííá Öéëßððïõ, Φθινüπωρο 2017