Zpět na vyhledávání

Martin Bradáč

Diplomová práce

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
Anotace:
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 …více
Abstract:
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 …více
 

Klíčová slova

jednoduchá procesní algebra základní paralelní procesy bisimulační ekvivalence bisimilarita BPA BPP verifikace verifikační nástroj

Keywords

basic process algebra basic parallel processes bisimulation equivalence bisimilarity BPA BPP verification verification tool
 
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 7. 5. 2014
Identifikátor: http://hdl.handle.net/10084/103889

Obhajoba závěrečné práce

  • Obhajoba proběhla 10. 6. 2014
  • Vedoucí: Martin Kot
  • Oponent: Zdeněk Sawa

Citační záznam

Citovat tuto práci

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 Ostrava

VŠB - Technická univerzita Ostrava

Fakulta elektrotechniky a informatiky

Magisterský studijní program / obor:
Informační a komunikační technologie / Informatika a výpočetní technika

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.