Certification in Deep Learning with Keras and Tensor Flow