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.