Zpět na vyhledávání

Jakub Juřica

Master's thesis

Jednoduchý nástroj pro ověřování ekvivalence systémů: Rozhodování bisimilarity na BPP

Simple Equivalence Checking Tool: Deciding Bisimilarity of BPP
Abstract:
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 …more
Abstract:
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 …more
 

Keywords

základní paralelní procesy bisimulační ekvivalence bisimilarita verifikační nástroj ověřování ekvivalencí

Keywords

basic parallel processes bisimulation equivalence bisimilarity verification tool equivalence checking
 
Language used: Czech
Date on which the thesis was submitted / produced: 7. 5. 2013
Identifier: http://hdl.handle.net/10084/98529

Thesis defence

  • Date of defence: 10. 6. 2013
  • Supervisor: Martin Kot
  • Reader: Zdeněk Sawa

Citation record

Cite this text

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 Ostrava

VŠB - Technical University of Ostrava

Fakulta elektrotechniky a informatiky

Master programme / field:
Informační a komunikační technologie / Informatika a výpočetní technika

Theses on a related topic

List of theses with an identical keyword.
All theses