Browsing by Subject Stateless Model Checking, Συστηματικός Έλεγχος Ταυτοχρονισμού, Αναγωγή σε Δυναμι- κές Σχέσεις Μερικής Διάταξης, Παραλληλοποίηση, Ταυτοχρονισμός, Erlang
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) | Supervisor |
---|---|---|---|
12-Jul-2019 | Παραλληλοποίηση των Dynamic Partial Order Reduction Αλγορίθμων στον Concuerror | Φυτάς, Παναγιώτης | Σαγώνας Κωστής |