Automated Parallelization of Discrete State-Space Generation

  title={Automated Parallelization of Discrete State-Space Generation},
  author={David M. Nicol and Gianfranco Ciardo},
  journal={J. Parallel Distrib. Comput.},
We consider the problem of generating a large state-space in a distributed fashion. Unlike previously proposed solutions that partition the set of reachable states according to a hashing function provided by the user, we explore heuristic methods that completely automate the process. The first step is an initial random walk through the state space to initialize a search tree, duplicated in each processor. Then, the reachability graph is built in a distributed way, using the search tree to… CONTINUE READING
Highly Cited
This paper has 77 citations. REVIEW CITATIONS

11 Figures & Tables



Citations per Year

77 Citations

Semantic Scholar estimates that this publication has 77 citations based on the available data.

See our FAQ for additional information.