Distributed Partial Order Reduction of State Spaces
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F04%3A00011102" target="_blank" >RIV/00216224:14330/04:00011102 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Distributed Partial Order Reduction of State Spaces
Original language description
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.
Czech name
Distribuovaná redukce stavového prostoru
Czech description
Je navržen distribuovaný algoritmus pro redukci stavového prostoru.
Classification
Type
D - Article in proceedings
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GA201%2F03%2F0509" target="_blank" >GA201/03/0509: Automated Verification of Parallel and Distributed Systems</a><br>
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2004
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Proceedings of the 3rd International Workshop on Parallel and Distributed Verifationic (PDMC 2004)
ISBN
—
ISSN
—
e-ISSN
—
Number of pages
15
Pages from-to
3-18
Publisher name
Imperial College London
Place of publication
Londo, U.K.
Event location
London, U.K.
Event date
Jan 1, 2004
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—