Text this: Numerical software with result verification :