2 συγγένειες: Χρονική λογική, Έλεγχος μοντέλων.
Χρονική λογική
Στη λογική, ο όρος χρονική λογική (Αγγλικά: temporal logic) χρησιμοποιείται για να περιγράψει κάθε σύστημα κανόνων και συμβολισμού για την αναπαράσταση και συλλογιστική προτάσεων πουχρησιμοποιούν το χρόνο.
Νέος!!: Δομή Κρίπκε και Χρονική λογική · Δείτε περισσότερα »
Έλεγχος μοντέλων
Στο πεδίο της λογικής της επιστήμης των υπολογιστών, ο όρος έλεγχος μοντέλων (Αγγλικά: model checking) αναφέρεται στο εξής πρόβλημα: Δεδομένουτουμοντέλουενός συστήματος, να ελεγχθεί με αυτόματο τρόπο αν αυτό το μοντέλο συμφωνεί με δεδομένες προδιαγραφές.
Νέος!!: Δομή Κρίπκε και Έλεγχος μοντέλων · Δείτε περισσότερα »