Παρακαλώ χρησιμοποιήστε αυτό το αναγνωριστικό για να παραπέμψετε ή να δημιουργήσετε σύνδεσμο προς αυτό το τεκμήριο: http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/17500
Τίτλος: Επαλήθευση κατά την εκτέλεση σε κατανεμημένα συστήματα
Συγγραφείς: Καλιμάντζαλης-Λιανας, Ευάγγελος
Παπασπύρου Νικόλαος
Λέξεις κλειδιά: Επαλήθευση κατά την εκτέλεση
Runtime verificaton
εποπτεία
monitoring
Λογική γραμμικού χρόνου
LTL
λογικές πραγματικού χρόνου
real-time logics
κατανεμημένα συστήματα
distributed systems
ασύργχρονη επικοινωνία
asynchronous communication
Ημερομηνία έκδοσης: 27-Δεκ-2018
Περίληψη: Σε αυτή τη διπλωματική θα εξεταστούν μέθοδοι επαλήθευσης κατά την εκτέλεση κατα- νεμημένων συστημάτων. Θα παρουσιαστούν τρεις βασικές φιλοσοφίες λειτουργίας της επαλήθευσης. Επίσης, θα εξεταστούν οι διαφορετικές γλώσσες έκφρασης ιδιοτήτων προς επαλήθευση. Ακόμα θα εξεταστούν η ορθότητα και η πληρότητα των μεθόδων αυτών καθώς και άλλα ζητήματα όπως καθυστέρηση του και η πολυπλοκότητά τους.
URI: http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/17500
Εμφανίζεται στις συλλογές:Διπλωματικές Εργασίες - Theses

Αρχεία σε αυτό το τεκμήριο:
Αρχείο Περιγραφή ΜέγεθοςΜορφότυπος 
Διπλωματική Βαγγέλης check.pdf860.03 kBAdobe PDFΕμφάνιση/Άνοιγμα


Όλα τα τεκμήρια του δικτυακού τόπου προστατεύονται από πνευματικά δικαιώματα.