Felipe R. Monteiro, Erickson H. da S. Alves, Isabela da Silva, Hussama Ismail, Lucas C. Cordeiro, Eddie Batista de Lima Filho. ESBMC-GPU A context-bounded model checking tool to verify CUDA programs. Science of Computer Programming, 152:63-69, 2018. [doi]
Abstract is missing.