Title: Principles of Verification : Cycling the Probabilistic Landscape