ProbMiV: Probabilistic Methods in Verification

What does ProbMiV mean? The above is one of ProbMiV meanings. It may have other definitions. Please refer to the end of this passage.

Definition in English: Probabilistic Methods in Verification