Bc. Tomáš Moutelík
Bachelor's thesis
Drawing of PRISM models
Drawing of PRISM models
Anotácia:
PRISM model checker má experimentální implementaci (jmenuje se model-vis) pro zobrazování modelů. Ta ukazuje graf celého stavového prostoru, který je obvykle moc velký, než aby byl relevantní. Cílem této práce je vyvyout rozšíření, které nabídne alternativní způsob, jak zobrazovat modely PRISMu. Uživatel si bude schopen nastavit jaká úroveň abrakce se má použít během vykreslování (například konkrétní …viacAbstract:
The PRISM model checker has an experimental implementation (called model-vis) for visualising models. It shows graph of the whole state space, which is usually too big to be relevant. The aim of this thesis is to develop an extension that will provide an alternative way to display PRISM models. The user will be also able to configure level of abstraction used during drawing (e.g. particular modules …viac
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 9. 1. 2017
Identifikátor:
https://is.muni.cz/th/pbl99/
Obhajoba závěrečné práce
- Obhajoba proběhla 13. 2. 2017
- 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 InformaticsBachelor programme / odbor:
Informatics / Mathematical Informatics
Práce na příbuzné téma
- Žádné práce na příbuzné téma.