Scaling Up Candidate-Based Invariant Inference
About
This website accompanies our OOPSLA 2014 submission. GPUVerify is a tool for verifying race- and divergence-freedom of OpenCL and CUDA kernels. This is a placeholder; for now!
This website accompanies our OOPSLA 2014 submission. GPUVerify is a tool for verifying race- and divergence-freedom of OpenCL and CUDA kernels. This is a placeholder; for now!