NN-safety-verification