Ondřej Meca
Doctoral thesis
Verification of Parallel Applications
Verification of Parallel Applications
Abstract:
Tato dizertační práce se zaměřuje na verifikaci paralelních aplikací. Konkrétně aplikací implementovaných pomocí MPI (rozhraní pro posílání zpráv mezi procesy). Text je rozdělen na dvě části. První část se zaměřuje na implementaci verifikace stavového prostoru do veřejně dostupného nástroje Kaira, který je vyvíjen na fakultě elektotechniky a informatiky na Vysoké škole báňské v Ostravě. Kaira představuje …moreAbstract:
This thesis focuses on verification of parallel applications. In particular, applications written in MPI (Message Passing Interface). The text is divided into two parts. The first part describes an implementation of state space verification into the publicly available tool Kaira developed at the Faculty of Electrical Engineering and Computer Science at the Technical University of Ostrava. Kaira is …more
Language used: English
Date on which the thesis was submitted / produced: 30. 8. 2018
Identifier:
http://hdl.handle.net/10084/137504
Thesis defence
- Date of defence: 10. 1. 2019
- Supervisor: Petr Jančar
- Reader: Ondřej Jakl, Adam Rogalewicz, Jan Strejček
Citation record
ISO 690-compliant citation record:
MECA, Ondřej. \textit{Verification of Parallel Applications}. Online. Doctoral theses, Dissertations. Ostrava: VŠB - Technical University of Ostrava, Fakulta elektrotechniky a informatiky. 2018. Available from: https://theses.cz/id/3bczkt/.
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 informatikyDoctoral programme / field:
Informatika, komunikační technologie a aplikovaná matematika / Informatika
Theses on a related topic
-
Designing Data-Parallel Graph Algorithms for Model Checking
Milan Češka -
Analysis of Parallel C++ Programs
Vladimír Štill -
Drobná próza české dekadence
Jiří SOUKUP -
Partial Order Reduction in Parallel Model Checking
Petr Ročkai