Abstract. In this dissertation, we survey the different techniques used to perform statistical probabilistic model checking, prove their respective validity and compare them in terms of (statistical) reliability. We then propose some extensions of these methods for computation of rewards, which to our knowledge has not been done before. All these strategies are added to the code of the probabilistic model checking tool PRISM, and we experiment them on several large biological model examples. We conclude by some recommendations for the practical use of these methods, based on the experiments observation and the methods comparisons.