P. Pereira et al."Verificação de Kernels em Programas CUDA usando Bounded Model Checking", in Anais do XVI Simpósio em Sistemas Computacionais de Alto Desempenho, Florianópolis, 2015, pp. 24-35, doi: https://doi.org/10.5753/wscad.2015.14269.