Please use this identifier to cite or link to this item:
http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/17500
Title: | Επαλήθευση κατά την εκτέλεση σε κατανεμημένα συστήματα |
Authors: | Καλιμάντζαλης-Λιανας, Ευάγγελος Παπασπύρου Νικόλαος |
Keywords: | Επαλήθευση κατά την εκτέλεση Runtime verificaton εποπτεία monitoring Λογική γραμμικού χρόνου LTL λογικές πραγματικού χρόνου real-time logics κατανεμημένα συστήματα distributed systems ασύργχρονη επικοινωνία asynchronous communication |
Issue Date: | 27-Dec-2018 |
Abstract: | Σε αυτή τη διπλωματική θα εξεταστούν μέθοδοι επαλήθευσης κατά την εκτέλεση κατα- νεμημένων συστημάτων. Θα παρουσιαστούν τρεις βασικές φιλοσοφίες λειτουργίας της επαλήθευσης. Επίσης, θα εξεταστούν οι διαφορετικές γλώσσες έκφρασης ιδιοτήτων προς επαλήθευση. Ακόμα θα εξεταστούν η ορθότητα και η πληρότητα των μεθόδων αυτών καθώς και άλλα ζητήματα όπως καθυστέρηση του και η πολυπλοκότητά τους. |
URI: | http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/17500 |
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.