In this second video about GPUVerify, Alastair Donaldson explains about GPUVerify, how the technique works behind the hood, showing how data race analysis for a massively parallel kernel is reduced to analysis of a sequential program.

For more information please visit http://multicore.doc.ic.ac.uk/tools/G...

Supported by the CARP project: http://www.carpproject.eu