Επαλήθευση κατά την εκτέλεση σε κατανεμημένα συστήματα

Καλιμάντζαλης-Λιανας, Ευάγγελος

National Technical University of Athens

School of Electrical and Computer Engineering

Artemis is Live!

Welcome to our digital repository! The aim of Artemis is the systematic archiving and dissemination of the scientific work produced in the School of Electrical and Computer Engineering, National Technical University of Athens, Greece, using the technology of digital libraries.

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

Show simple item record