We analyze the robustness properties of the Snell envelope backward evolution equation for the discrete time optimal stopping problem. We consider a series of approximation schemes, including cut-off type approximations, Euler discretization schemes, interpolation models, quantization tree...