P. Pereira <em>et al.</em>" Verificação de Kernels em Programas CUDA usando Bounded Model Checking", in <em>Proceedings of the 16th Brazilian Symposium on High Performance Computing Systems</em>, Florianópolis, 2015, pp. 24-35, doi: <a href="https://doi.org/10.5753/wscad.2015.14269">https://doi.org/10.5753/wscad.2015.14269</a>.