Incremental Bounded Model Checking of Artificial Neural Networks in CUDA | IEEE Conference Publication | IEEE Xplore