Please use this identifier to cite or link to this item:
http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/17500
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Καλιμάντζαλης-Λιανας, Ευάγγελος | - |
dc.date.accessioned | 2019-12-20T12:26:43Z | - |
dc.date.available | 2019-12-20T12:26:43Z | - |
dc.date.issued | 2018-12-27 | - |
dc.identifier.uri | http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/17500 | - |
dc.description.abstract | Σε αυτή τη διπλωματική θα εξεταστούν μέθοδοι επαλήθευσης κατά την εκτέλεση κατα- νεμημένων συστημάτων. Θα παρουσιαστούν τρεις βασικές φιλοσοφίες λειτουργίας της επαλήθευσης. Επίσης, θα εξεταστούν οι διαφορετικές γλώσσες έκφρασης ιδιοτήτων προς επαλήθευση. Ακόμα θα εξεταστούν η ορθότητα και η πληρότητα των μεθόδων αυτών καθώς και άλλα ζητήματα όπως καθυστέρηση του και η πολυπλοκότητά τους. | en_US |
dc.language | el | en_US |
dc.subject | Επαλήθευση κατά την εκτέλεση | en_US |
dc.subject | Runtime verificaton | en_US |
dc.subject | εποπτεία | en_US |
dc.subject | monitoring | en_US |
dc.subject | Λογική γραμμικού χρόνου | en_US |
dc.subject | LTL | en_US |
dc.subject | λογικές πραγματικού χρόνου | en_US |
dc.subject | real-time logics | en_US |
dc.subject | κατανεμημένα συστήματα | en_US |
dc.subject | distributed systems | en_US |
dc.subject | ασύργχρονη επικοινωνία | en_US |
dc.subject | asynchronous communication | en_US |
dc.title | Επαλήθευση κατά την εκτέλεση σε κατανεμημένα συστήματα | en_US |
dc.description.pages | 76 | en_US |
dc.contributor.supervisor | Παπασπύρου Νικόλαος | en_US |
dc.department | Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών | en_US |
dc.description.notes | In this report there will be examined runtime verification methods for distributed systems. There will be presentes three ways of achieving the verification. Further- more, ther will be examined different logics for expressing the proprties needing verification. Moreover, there will be checked the soundness and completeness of these methods and other subject like their complexity. | en_US |
Appears in Collections: | Διπλωματικές Εργασίες - Theses |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Διπλωματική Βαγγέλης check.pdf | 860.03 kB | Adobe PDF | View/Open |
Items in Artemis are protected by copyright, with all rights reserved, unless otherwise indicated.