Bc. Milan Malota
Master's thesis
PRISM model checker as an Eclipse-plugin
PRISM model checker as an Eclipse-plugin
Abstract:
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 …moreAbstract:
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 …more
Language used: English
Date on which the thesis was submitted / produced: 11. 1. 2016
Identifier:
https://is.muni.cz/th/xzh12/
Thesis defence
- Date of defence: 19. 2. 2016
- Supervisor: RNDr. Vojtěch Řehák, Ph.D.
- Reader: RNDr. Vojtěch Forejt, Ph.D.
Full text of thesis
Contents of on-line thesis archive
Published in Theses:- světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsMaster programme / field:
Applied Informatics / Applied Informatics
Theses on a related topic
-
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