Probabilistic Analysis Using Theorem Proving door Osman Hasan & Sofiene Tahar