Validated numerical bounds on the global error for initial value problems for stiff ordinary differential equations | lit.salon