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 SizeFormat 
Διπλωματική Βαγγέλης check.pdf860.03 kBAdobe PDFView/Open


Items in Artemis are protected by copyright, with all rights reserved, unless otherwise indicated.