Publication details
Distributed Partial Order Reduction of State Spaces
| Basic information | |
|---|---|
| Original title: | Distributed Partial Order Reduction of State Spaces |
| Authors: | Luboš Brim, Ivana Černá, Pavel Moravec, Jiří Šimša |
| Further information | |
|---|---|
| Citation: | BRIM, Luboš  - ČERNÁ, Ivana - MORAVEC, Pavel - ŠIMŠA, Jiří. Distributed Partial Order Reduction of State Spaces. Electronic Notes on Theoretical Computer Science, Elsevier, The Nederlands. ISSN 1571-0661, 2005, vol. 128, no. 3, pp. 63-74. |
| Original language: | English |
| Field: | Informatika |
| Type: | Article in Periodical |
| Keywords: | partial order reduction |
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.
Related projects:
- Automated Verification of Parallel and Distributed Systems
- Highly Parallel and Distributed Computing Systems
