English Computer Aided Verification Cited by user Rgrig on 03 Jan 2012 Computer Aided Verification (CAV) is an annual academic conference on the theory and practice of computer aided formal analysis of software and hardware systems.
Greek Έλεγχος μοντέλων Cited by user Gf uip on 19 Jul 2010 Στο πεδίο της λογικής της επιστήμης των υπολογιστών, ο όρος έλεγχος μοντέλων (Αγγλικά: model checking) αναφέρεται στο εξής πρόβλημα: Δεδομένου του μοντέλου ενός συστήματος…