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