GPUVerify is a static analyser for verifying race- and divergence-freedom of GPU kernels written in OpenCL and CUDA.
The documentation is written using Sphinx and can be found in
Documentation or
online
To generate the documentation run:
$ cd Documentation
$ make html
You can then view Documentation/_build/html/index.html in a browser.