1. About CUDA | NVIDIA developer zone.
https://developer.nvidia.com/about-cuda
2. Amazon EC2 P3 instances.
https://aws.amazon.com/ec2/instance-types/p3/
3. Alcantara, D.A.F.: Efficient hash tables on the GPU, 2011. Copyright-Copyright ProQuest, UMI Dissertations Publishing 2011; Last updated - 2014-01-23; First page - n/a; M3: Ph.D
4. BEEM: BEnchmarks for Explicit Model Checkers-ParaDiSe.
http://paradise.fi.muni.cz/beem/
5. Barnat, J., Bauch, P., Brim, L., C̆es̆ka, M.: Designing fast LTL model checking algorithms for many-core GPUs. J. Parallel Distrib. Comput. 72(9):1083–1097 (2012)