Incremental Bounded Model Checking of Artificial Neural Networks in CUDA

30 Jul 2019Luiz H. SenaIury V. BessaMikhail R. GadelhaLucas C. CordeiroEdjard Mota

Artificial Neural networks (ANNs) are powerful computing systems employed for various applications due to their versatility to generalize and to respond to unexpected inputs/patterns. However, implementations of ANNs for safety-critical systems might lead to failures, which are hardly predicted in the design phase since ANNs are highly parallel and their parameters are hardly interpretable... (read more)

PDF Abstract


No code implementations yet. Submit your code now


Results from the Paper

  Submit results from this paper to get state-of-the-art GitHub badges and help the community compare results to other papers.