GUM-compliant neural network robustness verification - a Masters thesis