GPUverify

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/