Phillipe Pereira et al. 2015. Verificação de Kernels em Programas CUDA usando Bounded Model Checking. In Anais do XVI Simpósio em Sistemas Computacionais de Alto Desempenho, outubro 18, 2015, Florianópolis, Brasil. SBC, Porto Alegre, Brasil, 24-35. DOI: https://doi.org/10.5753/wscad.2015.14269.