GPUVerify has moved to GitHub: https://github.com/mc-imperial/gpuverify

Project Description
GPUVerify is a tool for verifying race- and divergence-freedom of GPU kernels written in OpenCL and CUDA.

Last edited Apr 29 at 4:16 PM by jketema, version 5