Interval Analysis: And Automatic Result Verification