Parallelizing the Spin Model Checker

  title={Parallelizing the Spin Model Checker},
  author={Gerard J. Holzmann},
We describe an extension of the Spin model checker that allows us to take advantage of the increasing number of cpu-cores available on standard desktop systems. Our main target is to speed up the verification process for safety properties, the mode used most frequently, but we also describe a small modification of the parallel search algorithm, called the piggyback algorithm, that is remarkably effective in catching violations for an interesting class of liveness properties at little cost. 
Highly Cited
This paper has 65 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 42 extracted citations

66 Citations

Citations per Year
Semantic Scholar estimates that this publication has 66 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.

Similar Papers

Loading similar papers…