Project Description
GPUVerify is a tool for verifying race- and divergence-freedom of GPU kernels written in OpenCL and CUDA.


GPUVerify is a verifier for GPU kernels.

Last edited Oct 3, 2012 at 10:43 PM by qadeer, version 2