Donaldson, A. The GPUVerify Method: A Tutorial Overview. eceasst 2014, 70.