Also check out our tutorials and videos about GPUVerify.
User and developer guide
GPUVerify Sphinx documentation: the best source of documentation to understand how the tool is used in practice.
Research papers about GPUVerify
- OOPSLA 2012 paper presenting the techniques on which GPUVerify is based
- ESOP 2013 paper providing technical details of how GPUVerify processes unstructured programs (in practice: LLVM bitcode)
- OOPSLA 2013 paper presenting the techiques that allow GPUVerify to verify data-dependent GPU kernels