GPUVerify: a Verifier for GPU Kernels


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