GPUVerify
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
Generating the Documentation
To generate the documentation run:
$ cd Documentation
$ make html
You can then view Documentation/_build/html/index.html in a browser.