PRISM model checker as an Eclipse-plugin – Bc. Milan Malota
Bc. Milan Malota
Master's thesis
PRISM model checker as an Eclipse-plugin
PRISM model checker as an Eclipse-plugin
Anotácia:
PRISM je nástroj sloužící k automatizovanému testování pravděpodobnostních modelů, je používám v nejrůznějších oblastech praxe a je velmi dobře znám mezi odbornou veřejností zabývající se modelováním a analyzováním systému s pravděpodobnostním nebo náhodným chováním. Grafické rozhraní tohoto nástroje bylo vyvinuto v počátečních stádiích životního cyklu, od té doby udělaly technologie obrovský pokrok …viacAbstract:
PRISM is a probabilistic model checker and is used in many different application domains and is well known among scientists dealing with formal modeling and analysis of systems that exhibit random or probabilistic behavior. PRISM's GUI was developed in the beginning of the PRISM life cycle and technologies made great progress. That is why the request for a new GUI was pronounced. One of the platforms …viac
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 11. 1. 2016
Identifikátor:
https://is.muni.cz/th/xzh12/
Obhajoba závěrečné práce
- Obhajoba proběhla 19. 2. 2016
- Vedúci: RNDr. Vojtěch Řehák, Ph.D.
- Oponent: RNDr. Vojtěch Forejt, Ph.D.
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsMaster programme / odbor:
Applied Informatics / Applied Informatics
Práce na příbuzné téma
-
Simulace Systémové dynamiky v prostředí Eclipse RCP
Jiří Melcr -
Eclipse Rich Client Platform
Pavel SKLENÁK -
Knihovna animací pro ovládací prvky grafické knihovny SWT.
Robert Havránek