| BRIM, Luboš, Ivana ČERNÁ, Pavel MORAVEC and Jiří ŠIMŠA. Distributed Partial Order Reduction of State Spaces. In Proceedings of the 3rd International Workshop on Parallel and Distributed Verifationic (PDMC 2004). London, U.K.: Imperial College London, 2004, p. 3-18, 15 pp. |
Other formats:
BibTeX
LaTeX
RIS
@inproceedings{571355,
author = {Brim, Luboš and Černá, Ivana and Moravec, Pavel and Šimša, Jiří},
address = {London, U.K.},
booktitle = {Proceedings of the 3rd International Workshop on Parallel and Distributed Verifationic (PDMC 2004)},
keywords = {partial order reduction},
language = {eng},
location = {London, U.K.},
pages = {3-18},
publisher = {Imperial College London},
title = {Distributed Partial Order Reduction of State Spaces},
year = {2004}
}
TY - JOUR
ID - 571355
AU - Brim, Luboš - Černá, Ivana - Moravec, Pavel - Šimša, Jiří
PY - 2004
TI - Distributed Partial Order Reduction of State Spaces
PB - Imperial College London
CY - London, U.K.
KW - partial order reduction
N2 - In this paper we propose a distrubuted partial order reduction algorithm for generating a reduced state space. Our algorithm exploits some features of the partial order reduction which make the idea of distributed DFS-based algorithm feasible. A pseudocode of the algorithm is given, its correctness is proven, its complexity is discussed and experimental results are presented.
ER -
BRIM, Luboš, Ivana ČERNÁ, Pavel MORAVEC and Jiří ŠIMŠA. Distributed Partial Order Reduction of State Spaces. In \textit{Proceedings of the 3rd International Workshop on Parallel and Distributed Verifationic (PDMC 2004)}. London, U.K.: Imperial College London, 2004, p.~3-18, 15 pp.
|
