Jednoduchý nástroj pro ověřování ekvivalence systémů: Rozhodování bisimilarity na BPP – Jakub Juřica
Jakub Juřica
Diplomová práce
Jednoduchý nástroj pro ověřování ekvivalence systémů: Rozhodování bisimilarity na BPP
Simple Equivalence Checking Tool: Deciding Bisimilarity of BPP
Anotace:
Mezi standardní techniky verifikace systémů patří ověřování ekvivalencí. Ověřují se různé ekvivalence na různých modelech systému. Tato diplomová práce byla zaměřena na dva, v literatuře dostupné, algoritmy pro ověřování bisimulační ekvivalence mezi dvěma systémy specifikovanými jako základní paralelní procesy. Cílem bylo vytvoření verifikačního nástroje, který rozhodne bisimulační ekvivalenci na zadaných …víceAbstract:
The standard techniques of verification systems includes the verification of equivalences. On the various types of models of system are checking different equivalences. This thesis was focused on two algorithm verifying bisimulation equivalence between two systems specific as a basic parallel processes which are available in literature. The goal was to create a verification tool that will decide bisimulation …více
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 7. 5. 2013
Identifikátor:
http://hdl.handle.net/10084/98529
Obhajoba závěrečné práce
- Obhajoba proběhla 10. 6. 2013
- Vedoucí: Martin Kot
- Oponent: Zdeněk Sawa
Citační záznam
Citace dle ISO 690:
JUŘICA, Jakub. \textit{Jednoduchý nástroj pro ověřování ekvivalence systémů: Rozhodování bisimilarity na BPP}. Online. Diplomová práce. Ostrava: Vysoká škola báňská - Technická univerzita Ostrava, Fakulta elektrotechniky a informatiky. 2013. Dostupné z: https://theses.cz/id/n2sl36/.
Plný text práce
Právo: Plné texty vysokoškolských kvalifikačních prací obhájených na Vysoké škole báňské - Technické univerzitě Ostrava jsou uloženy v repozitáři DSpace. Přístup k plným textům mají všichni uživatelé bez omezení. Přístup je omezen pouze ve výjimečných případech, zpravidla z důvodu ochrany duševního vlastnictví. Nepřístupné práce jsou označeny jako closedAccess nebo embargoedAccess. Tištěné verze prácí jsou uloženy v Ústřední knihovně VŠB-TUO a jsou prezenčně přístupné ve studovně diplomových prací. Další nakládání s prací (kopírování, opisy, MVS) se řídí Knihovní a výpůjčním řádem Ústřední knihovny VŠB-TUO.
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- autentizovaným zaměstnancům ze stejné školy/fakulty
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: VŠB - Technická univerzita OstravaVŠB - Technická univerzita Ostrava
Fakulta elektrotechniky a informatikyMagisterský studijní program / obor:
Informační a komunikační technologie / Informatika a výpočetní technika
Práce na příbuzné téma
-
Jednoduchý nástroj pro ověřování ekvivalence systémů: Rozhodování bisimilarity mezi nBPA a nBPP
Martin Bradáč -
Solidarita a ekvivalence v důchodovém systému
Michaela KELLEROVÁ -
Jednoduchý nástroj pro ověřování ekvivalence systémů: Rozhodování bisimilarity mezi nBPA a nBPP
Martin Bradáč -
Symbolická verifikace (SMV-tool)
Zdeněk Janoš -
Nástroj pro verifikaci kontraktu rozhraní
Pavol Hrabovský -
Verifikační nástroj pro komponentové systémy
Milan Křivánek -
Jednoduchý nástroj pro ověřování ekvivalence systémů: Rozhodování bisimilarity mezi nBPA a nBPP
Martin Bradáč