https://hgpu.org/?p=13806
The Design and Implementation of a Verification Technique for GPU Kernels