A. Donaldson, “The GPUVerify Method: a Tutorial Overview”, ECEASST, vol. 70, Nov. 2014.