The GPUVerify Method: a Tutorial Overview