Swarm Model Checking on the GPU

DeFrancisco, Richard; Cho, Shenghsun; Ferdman, Michael; Smolka, Scott A.

by Richard DeFrancisco, Shenghsun Cho, Michael Ferdman, Scott A. Smolka

Reference:

Swarm Model Checking on the GPU Richard DeFrancisco, Shenghsun Cho, Michael Ferdman, Scott A. Smolka, In International Journal on Software Tools for Technology Transfer (Thomas Given-Wilson, Axel Legay, eds.), 2020.

Bibtex Entry:

@article{ferdman-sttt-swarm-model-checking-on-the-gpu,
 author="DeFrancisco, Richard and Cho, Shenghsun and Ferdman, Michael and Smolka, Scott A.",
 editor="Given-Wilson, Thomas and Legay, Axel",
 title="Swarm Model Checking on the {GPU}",
journal="International Journal on Software Tools for Technology Transfer",
  pdf={http://compas.cs.stonybrook.edu/%7Emferdman/downloads.php/STTT20_Swarm_Model_Checking_on_the_GPU.pdf},
year="2020"
}