Έλεγχος μοντέλων: Διαφορά μεταξύ των αναθεωρήσεων

* [[Δομή Κρίπκε]]

 

* [[ελεγκτής μοντέλων BLAST]]

* [[CADP]] (Construction and Analysis of Distributed Processes) ένα σύνολο από εργαλεία για το σχεδιασμό πρωτοκόλλων επικοινωνίας και κατανεμημένων συστημάτων

* [[Uppaal_Model_Checker | UPPAAL]] ένα περιβάλλον εργαλείων για τη μοντελοποίηση και επαλήθευση συστημάτων πραγματικού χρόνου, τα οποία έχουν μοντελοποιηθεί σαν δίκτυα χρονισμένων αυτομάτων (timed automata)

 

*[[Αφηρημένη διερμηνεία]]

*[[Αυτόματη απόδειξη θεωρημάτων]]

*[[Στατική ανάλυση]]

 

* [[Edmund M. Clarke|E.M. Clarke]]: [http://www.springerlink.com/content/j335v4472745r366/ ''The birth of model checking'']

* [[E. Allen Emerson]]: [http://www.model.in.tum.de/um/25/pdf/Emerson.pdf ''The Beginning of Model Checking: A Personal Perspective''] (μια καλή εισαγωγή και σύνοψη του πεδίου του ελέγχου μοντέλων)