Simulátor pro modelovací jazyk nástroje DiVinE – Bc. Martin Moráček
Bc. Martin Moráček
Bachelor's thesis
Simulátor pro modelovací jazyk nástroje DiVinE
Simulator for DiVinE modeling language
Anotácia:
Cílem práce je vytvoření grafického uživatelského rozhraní pro editaci a simulaci modelů systému DiVinE včetě napojení na verifikační algoritmy a simulace jimi vygenerovaných protipříkladů. Na začátku práce jsme provedli analýzu grafických rozhraní existujících nástrojů Spin a UPPAAL a navázali na ni návrhem vlastního rozhraní. Zbylá část práce popisuje vypracovanou aplikaci a její implementaci za …viacAbstract:
This work aims to create a graphical user interface for editing and simulation of models of the DiVinE system including front-end for it's verification algorithms and simulation of generated counterexamples. We have analyzed the graphical interfaces of existing verification tools Spin and UPPAAL and introduced our own design. The rest of the work describes the created application and it's implementation …viac
Jazyk práce: Czech
Datum vytvoření / odevzdání či podání práce: 6. 1. 2010
Identifikátor:
https://is.muni.cz/th/teyty/
Obhajoba závěrečné práce
- Obhajoba proběhla 1. 2. 2010
- Vedúci: prof. RNDr. Jiří Barnat, Ph.D.
- Oponent: RNDr. Petr Ročkai, 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 / Informatics