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 26th International SPIN Symposium on Model Checking of Software, Springer International Publishing, 2019.

Bibtex Entry:

@inproceedings{ferdman-swarm-model-checking-on-the-gpu,
  author       = "Richard DeFrancisco and Shenghsun Cho and Michael Ferdman and Scott A. Smolka",
  title        = "Swarm Model Checking on the {GPU}",
  booktitle    = "26th International {SPIN} Symposium on Model Checking of Software",
  year         = "2019",
  location="Beijing, China",
  publisher="Springer International Publishing",
  isbn="978-3-030-30922-0",
%  doi="10.1007/978-3-030-30923-7",
  pdf={http://compas.cs.stonybrook.edu/%7Emferdman/downloads.php/SPIN19_Swarm_Model_Checking_on_the_GPU.pdf}
}