Έλεγχος μοντέλων: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
Διάσωση 3 πηγών και υποβολή 0 για αρχειοθέτηση.) #IABot (v2.0 |
Διάσωση 1 πηγών και υποβολή 0 για αρχειοθέτηση.) #IABot (v2.0 |
||
Γραμμή 76:
* [[Markov Reward Model Checker (MRMC)]]
* Εργαλεία [[mCRL2]], [[Boost Software License]], βασισμένα στην [[Algebra of Communicating Processes|ACP]]
* [http://www.cs.utwente.nl/~ruys/moonwalker MoonWalker]{{Dead link|date=Οκτώβριος 2019 }} - ελεγκτής μοντέλων ανοιχτού κώδικα για προγράμματα .NET
* [[NuSMV]], ένας νέος συμβολικός ελεγκτής μοντέλων
* [[PRISM (ελεγκτής μοντέλων)]], ένας πιθανοτικός συμβολικός ελεγκτής μοντέλων
* [[Eλεγκτής μοντέλων Rabbit|Rabbit]]
* [https://web.archive.org/web/20091029162018/http://www.cs.ucr.edu/~ciardo/SMART/ Ελεγκτής μοντέλων SMART], "Symbolic Model checking Analyzer for Reliability and Timing"
* [[Eλεγκτής μοντέλων SPIN]], ένα γενικό εργαλείο για την επαλήθευση της ορθότητας μοντέλων κατανεμημένου λογισμικού με αυστηρό και κατά το μεγαλύτερο μέρος αυτόματο τρόπο.
* [[Ελεγκτής μοντέλων TAPAs]]: εργαλείο για την ανάλυση της άλγερβας διεργασιών.
| |||