Numerical Software with Result Verification