PEREIRA, Phillipe; ALBUQUERQUE, Higo; MARQUES, Hendrio; SILVA, Isabela; SANTOS, Vanessa; FERREIRA, Ricardo; CARVALHO, Celso; CORDEIRO, Lucas. Verificação de Kernels em Programas CUDA usando Bounded Model Checking. In: SIMPÓSIO EM SISTEMAS COMPUTACIONAIS DE ALTO DESEMPENHO (WSCAD), 16. , 2015, Florianópolis. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2015 . p. 24-35. DOI: https://doi.org/10.5753/wscad.2015.14269.