Hacker News new | ask | show | jobs
by octo_t 4735 days ago
Have you looked at GPUVerify[1] from Imperial College to verify the correctness of code produced?

[1] - http://multicore.doc.ic.ac.uk/tools/GPUVerify/