title: Spin promela GPU
body: <p>I am avaluating Spin using Promela for model checking, but processing time is an issue to me.
  I have seen that I can use Multi Core to improve the calculation but what about GPU/Cuda support to speed up the calculations ? Can I do this at all ?</p>
  
  <p>regards
  Adrian</p>