GPUVerify is a tool for analysing graphics processing unit (GPU) kernels written in OpenCL and CUDA.
GPUVerify is a static analysis tool, that is it works purely at compile time, without actually running the GPU kernel.
Welcome to GPUVerify’s documentation
A very brief introduction to GPUVerify
Enter search terms or a module, class or function name.