TY  - RPRT
TI  - Incremental Bounded Model Checking of Artificial Neural Networks in CUDA
AU  - Luiz H. Sena
AU  - Iury V. Bessa
AU  - Mikhail R. Gadelha
AU  - Lucas C. Cordeiro
AU  - Edjard Mota
PY  - 2019
UR  - https://arxiv.org/abs/1907.12933
ID  - 1907.12933
ER  -