GPUMC: A Stateless Model Checker for GPU Weak Memory Concurrency
#OpenCL #CUDA #Concurrency #Memory #ModelCheck
https://hgpu.org/?p=29921