ΕΠΛ 664: Ανάλυση και Επαλήθευση Συστημάτων
Τutorials


Σ'αυτή τη σελίδα υπάρχει υλικό από τα φροντιστήρια του μαθήματος
       
           
1 Φροντιστήριo 12 Σεπτεμβρίου 2017: download, solutions (Συστήματα Μεταβάσεων)
2 Φροντιστήριο 19 Σεπτεμβρίου 2017: download, solutions (PLTL)
3 Φροντιστήριa 27 Σεπτεμβρίου και 4 Οκτωβρίου 2017: SPIN
4
 Φροντιστήριo 10 Οκτωβρίου 2017: download, solutions (CTL)
5 Φροντιστήριo 17 Οκτωβρίου 2017: Επανάληψη για ενδιάμεση εξέταση
6
 Φροντιστήριo 31 Οκτωβρίου 2017: download, solutions (Χρονικά Αυτόματα)
7
 Φροντιστήριo 8 και 15 Νοεμβρίου 2017: UPPAAL
8
 Φροντιστήριo 21 Νοεμβρίου 2017: download, solutions (Άλγεβρες Διεργασιών)
9 Φροντιστήριo 28 Νοεμβρίου 2017 (1): download, solutions (Σχέσεις Ισοδυναμίας)
10 Φροντιστήριo 28 Νοεμβρίου 2017 (2): download, solutions (Λογική HML)
11 Ασκήσεις Επανάληψης: download, solutions

EPL664
Class Notes
Solutions
Course Schedule
Announcements
Class Contract
Assignments
Related Links

 

’Αννα Φιλίππου, Φθινόπωρο 2017