GPUVerify: A verifier for GPU kernels

  •        0

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

http://gpuverify.codeplex.com/

Tags
Implementation
License
Platform

   

comments powered by Disqus


Related Projects