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. <em>In</em>: SIMPÓSIO EM SISTEMAS COMPUTACIONAIS DE ALTO DESEMPENHO (SSCAD), 16.	, 2015, Florianópolis.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2015
.
 p. 24-35. 
		DOI: <a href="https://doi.org/10.5753/wscad.2015.14269">https://doi.org/10.5753/wscad.2015.14269</a>.