GPUVerify: a Verifier for GPU Kernels

Demo

You can try out a live demo of the GPUVerify tool online using the interface below.