Sena, Luiz, Iury  Bessa, Lucas  Cordeiro, Edjard  Mota, and Mikhail  R. Gadelha.
"Incremental Bounded Model Checking of Artificial Neural Networks in CUDA." <em>Anais do IX Simpósio Brasileiro de Engenharia de Sistemas Computacionais,
Natal, 2019</em>. SBC, 2019,  
pp.153-160.