Partial Order Reduction in Parallel Model Checking – Bc. Petr Ročkai, Ph.D.
Bc. Petr Ročkai, Ph.D.
Master's thesis
Partial Order Reduction in Parallel Model Checking
Partial Order Reduction in Parallel Model Checking
Abstract:
Hlavním zaměřením této práce je technika redukce částečným uspořádáním pro paralelní LTL model checking. Přínos techniky spočívá v její paralelní implementaci, poskytující skutečně dynamickou heuristiku se sekvenční složitostí v O(n). Naproti tomu, tradiční techniku založenou na DFS nelze používat s paralelními algoritmy a existující heuristiky vhodné pro paralelní prostředí vyžadují super-lineární …moreAbstract:
The main focus of this thesis is a partial order reduction technique for parallel LTL model checking. The novelty of our technique lies in its parallel implementation, and in providing truly dynamic heuristic with serial time complexity in O(n). In contrast, the traditional DFS-based techniques cannot be used with parallel algorithms. Moreover, the existing heuristics amenable to parallel execution …more
Language used: English
Date on which the thesis was submitted / produced: 6. 1. 2010
Identifier:
https://is.muni.cz/th/p04i0/
Thesis defence
- Date of defence: 10. 2. 2010
- Supervisor: prof. RNDr. Jiří Barnat, Ph.D.
- Reader: doc. RNDr. Jan Strejček, Ph.D.
Citation record
Full text of thesis
Contents of on-line thesis archive
Published in Theses:- světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsMaster programme / field:
Informatics / Parallel and Distributed Systems
Theses on a related topic
-
Distributed State Space Reductions
Pavel Moravec -
Quantitative Probabilistic Verification in Distributed Environment
Jiří Appl -
Model Checking Software
Petr Ročkai -
Model Checking Software
Petr Ročkai -
Multi-Threaded Nested DFS
Petr Ročkai