Τυπική επαλήθευση
σελίδα αποσαφήνισης εγχειρημάτων Wikimedia / From Wikipedia, the free encyclopedia
Στα συστήματα υλικού και λογισμικού, η τυπική επαλήθευση (formal verification) είναι η απόδειξη της ορθότητας των αλγορίθμων ενός συστήματος σύμφωνα με κάποια τυπική προδιαγραφή ή ιδιότητα, με τη χρήση τυπικών μεθόδων των μαθηματικών.