Automated Error Analysis of Numerical Software for High-Consequence Systems - View it on GitHub