Engineering a Static Verification Tool for GPU Kernels

CAV, pp. 226-242, 2014.

Cited by: 26|Bibtex|Views24|Links
EI

Abstract:

We report on practical experiences over the last 2.5 years related to the engineering of GPUVerify, a static verification tool for OpenCL and CUDA GPU kernels, plotting the progress of GPUVerify from a prototype to a fully functional and relatively efficient analysis tool. Our hope is that this experience report will serve the verificatio...More

Code:

Data:

Your rating :
0

 

Tags
Comments