We present bounds for the global errors of backward differentiation formulas (BDFs) applied to non-autonomous stiff problems
y' = A(t)y+Φ(t) and outline the analysis for convergence of
BDFs applied to rather general nonlinear stiff problems as introduced in [1].