ESBMC-GPU A context-bounded model checking tool to verify CUDA programs by Monteiro, F, da S. Alves, E, Silva, I, Ismail, H, Cordeiro, L, de Lima Filho, E