Pereira, Phillipe, Higo Albuquerque, Hendrio Marques, Isabela Silva, Vanessa Santos, Ricardo Ferreira, Celso Carvalho, and Lucas Cordeiro.
" Verificação de Kernels em Programas CUDA usando Bounded Model Checking." <em>Anais do XVI Simpósio em Sistemas Computacionais de Alto Desempenho,
Florianópolis, 2015</em>. SBC, 2015,  
pp.24-35.