GPUVerify is a tool for formal analysis of GPU kernels written in OpenCL and CUDA. The tool can prove that kernels are free from certain types of defect, including data races:
Homepage: http://multicore.doc.ic.ac.uk/tools/GPUVerify/
(Edit this webpage on Github)