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. In Proceedings of the 3rd International Workshop on Parallel and Distributed Verifationic (PDMC 2004). London, U.K. : Imperial College London, 2004. pp. 3-18. 2004, London, U.K. |
| Original language: | English |
| Field: | Informatika |
| Type: | Article in Proceedings |
| 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
- Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing
