My bachelor's thesis, including an experimental swarm verification model checker running on the GPU.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool