تحلیل و تایید صوری (Formal Verification) برنامه‌های احتمالی