Formal Verification Meets Stochastic Analysis