Formal Probabilistic Analysis using Theorem Proving Osman Hasan A Thesis in The Department of Electrical and Computer Engineering Presented in Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy at Concordia University Montr´ eal, Qu´ ebec, Canada April 2008 c Osman Hasan, 2008