Pereira, P., Albuquerque, H., Marques, H., Silva, I., Santos, V., Ferreira, R., Carvalho, C., & Cordeiro, L. (2015). Verificação de Kernels em Programas CUDA usando Bounded Model Checking. In Anais do XVI Simpósio em Sistemas Computacionais de Alto Desempenho, (pp. 24-35). Porto Alegre: SBC. doi:10.5753/wscad.2015.14269