英语 ⇄ 俄语 +

probabilistic verification 强调
编程	проверка по вероятности (ssn); вероятностная верификация (ssn)