Binomial models, which describe the asset price dynamics of the continuous-time model in the limit, serve for approximate valuation of options, especially where formulas cannot be derived analytically due to properties of the considered option type. To evaluate results, one inevitably must...