Title: Scientific Computation with Automatic Result Verification