Distributed Partial Order Reduction of State Spaces
| Authors | |
|---|---|
| Year of publication | 2005 |
| Type | Article in Periodical |
| Magazine / Source | Electronic Notes on Theoretical Computer Science |
| MU Faculty or unit | |
| Citation | |
| Field | Informatics |
| Keywords | partial order reduction |
| 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. |
| Related projects: |