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

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

dc.contributor.author	Καλιμάντζαλης-Λιανάς, Ευάγγελος	el
dc.contributor.author	Kalimantzalis-Lianas, Efangelos	en
dc.date.accessioned	2020-05-13T18:56:01Z
dc.date.available	2020-05-13T18:56:01Z
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/50552
dc.identifier.uri	http://dx.doi.org/10.26240/heal.ntua.18250
dc.rights	Αναφορά Δημιουργού-Μη Εμπορική Χρήση 3.0 Ελλάδα	*
dc.rights.uri	http://creativecommons.org/licenses/by-nc/3.0/gr/	*
dc.subject	Runtime verification	en
dc.subject	Monitoring	en
dc.subject	LTL	en
dc.subject	Distributed systems	en
dc.subject	Real-time logics	en
dc.subject	Asynchronus communication	en
dc.subject	Επαλήθευση κατά την εκτέλεση	el
dc.subject	Εποπτεία	el
dc.subject	Λογική γραμμικού χρόνου	el
dc.subject	Κατανεμημένα συστήματα	el
dc.subject	Λογικές πραγματικού χρόνου	el
dc.subject	Ασύγχρονη επικοινωνία	el
dc.title	Επαλήθευση κατά την εκτέλεση σε κατανεμημένα συστήματα	el
heal.type	bachelorThesis
heal.classification	Computer science	en
heal.classification	Επιστήμη υπολογιστών	el
heal.language	el
heal.access	free
heal.recordProvider	ntua	el
heal.publicationDate	2018-12-27
heal.abstract	Σε αυτή τη διπλωματική θα εξεταστούν μέθοδοι επαλήθευσης κατά την εκτέλεση κατανεμημένων συστημάτων. Θα παρουσιαστούν τρεις βασικές φιλοσοφίες λειτουργίας της επαλήθευσης. Επίσης, θα εξεταστούν διαφορετικές έκφρασης ιδιοτήτων προς επαλήθευση. Ακόμα, θα εξεταστούν η ορθότητα και η πληρότητα των μεθόδων αυτών καθώς και άλλα ζητήματα όπως η καθυστέρησή τους αλλά και η πολυπλοκότητά τους.	el
heal.advisorName	Παπασπύρου, Νικόλαος	el
heal.committeeMemberName	Παπασπύρου, Νικόλαος	el
heal.committeeMemberName	Παγουρτζής, Αριστείδης	el
heal.committeeMemberName	Αρβανιτάκης, Αλέξανδρος	el
heal.academicPublisher	Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών	el
heal.academicPublisherID	ntua
heal.numberOfPages	76 σ.	el
heal.fullTextAvailability	false