Russian ⇄ English

анализ достижимости stresses
progr.	accessibility analysis (алгоритмы проверки моделей обычно базируются на исчерпывающем обзоре множества всех состояний модели системы: для каждого состояния системы проверяется, "ведет ли оно себя корректно" – удовлетворяет ли требуемому свойству. В самой простой форме этот метод известен как “анализ достижимости” ssn)

анализ достижимости : 3 phrases in 2 subjects

Mass media	1
Programming	2