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


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

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

 

’Αννα Φιλίππου, Εαρινό Εξάμηνο 2017