Distributed Partial Order Reduction of State Spaces
| Authors | |
|---|---|
| Year of publication | 2004 |
| Type | Article in Proceedings |
| Conference | Proceedings of the 3rd International Workshop on Parallel and Distributed Verifationic (PDMC 2004) |
| 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: |