Jednoduchý nástroj pro ověřování ekvivalence systémů: Rozhodování bisimilarity mezi nBPA a nBPP – Martin Bradáč
Martin Bradáč
Master's thesis
Jednoduchý nástroj pro ověřování ekvivalence systémů: Rozhodování bisimilarity mezi nBPA a nBPP
Simple Equivalence Checking Tool: Deciding Bisimilarity of nBPA and nBPP
Abstract:
Ověřování ekvivalencí náleží mezi ustálené techniky verifikace systému. Ověřují se různé ekvivalence na odlišných modelech systému. Cílem diplomové práce bylo vytvoření jednoduchého verifikačního nástroje, který ověřuje bisimulační ekvivalenci mezi normovanými základními paralelními procesy a normovanými základními procesními algebrami, tedy mezi dvěma různými modely. V tomto dokumentu je objasněno …moreAbstract:
Checking the equivalences belongs among settled techniques of verifications of the systems. Different equivalences are checked on different models of the system. The aim of my thesis was the creation of the simple verification tool which would be checking bisimulation equivalences between normed basic parallel processes and normed basic process algebras, so between two of these models. In this document …more
Language used: Czech
Date on which the thesis was submitted / produced: 7. 5. 2014
Identifier:
http://hdl.handle.net/10084/103889
Thesis defence
- Date of defence: 10. 6. 2014
- Supervisor: Martin Kot
- Reader: Zdeněk Sawa
Citation record
ISO 690-compliant citation record:
BRADÁČ, Martin. \textit{Jednoduchý nástroj pro ověřování ekvivalence systémů: Rozhodování bisimilarity mezi nBPA a nBPP}. Online. Master's thesis. Ostrava: VŠB - Technical University of Ostrava, Fakulta elektrotechniky a informatiky. 2014. Available from: https://theses.cz/id/3ky06k/.
Full text of thesis
Accessibility: 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.
Contents of on-line thesis archive
Published in Theses:- autentizovaným zaměstnancům ze stejné školy/fakulty
Other ways of accessing the text
Institution archiving the thesis and making it accessible: VŠB - Technická univerzita OstravaVŠB - Technical University of Ostrava
Fakulta elektrotechniky a informatikyMaster programme / field:
Informační a komunikační technologie / Informatika a výpočetní technika