L. Sena, I. Bessa, L. Cordeiro, E. Mota, and M. Gadelha.
" Incremental Bounded Model Checking of Artificial Neural Networks in CUDA", in <em>Anais do IX Simpósio Brasileiro de Engenharia de Sistemas Computacionais</em>, Natal, 2019, pp. 153-160.