Έλεγχος μοντέλων: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
μ Ρομπότ: Τροποποίηση: en:Model checking |
|||
Γραμμή 98:
{{reflist}}
== Εξωτερικοί σύνδεσμοι ==
==Περαιτέρω διάβασμα==▼
* [http://delab.csd.auth.gr/~katsaros/formal_methods.htm Τυπικές Μέθοδοι Ανάλυσης Συστημάτων], Π. Κατσαρός, [[Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης]]
▲== Περαιτέρω διάβασμα ==
* [http://mrw.interscience.wiley.com/emrw/9780470050118/ecse/article/ecse247/current/abstract''Model Checking''], Doron Peled, Patrizio Pelliccione, Paola Spoletini, Wiley Encyclopedia of Computer Science and Engineering, [[2009]].
* ''Model Checking'', Edmund M. Clarke, Jr., Orna Grumberg and Doron A. Peled, [[MIT Press]], 1999, ISBN 0-262-03270-8.
| |||