In this talk, we will discuss the problem of effective computation of reliability of non-trivial storage systems. We will discuss mostly the use of model checking but will also touch upon simulation, sampling and some interesting combinations of these techniques.