swarm-verification

There are 1 repository under swarm-verification topic.

• / bachelor-thesis

  My bachelor's thesis, including an experimental swarm verification model checker running on the GPU.

  model-checkingverificationswarm-verification
  Language:Jupyter Notebook 1