Overview of GPUVerify
=====================================

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.