Bounded Model Checking and Deductive Verification -- A Probabilistic Framework for