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