Υλοποίηση μιας μεθοδολογίας αναλλοίωτων βασισμένη σε backpointers
Published in DSpace - NTUA (National Technical University of Athens) • Nov 29, 2012
Authors:
Eleftherios D. Kritikos
Abstract
Ο κλάδος της τυπικής επαλήθευσης ασχολείται με την απόδειξη της ορθότητας προγραμμάτων και αλγορίθμων. Καθώς αυξάνεται -εκθετικά- η πολυπλοκότητα των υπολογιστικών συστημάτων αλλά και ενσωματώνονται σε καίρια σημεία, εντείνεται η ανάγκη να υπάρχουν αδιαμφισβήτητες εγγυήσεις ότι ένα πρόγραμμα θα έχει...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!