אנגלית ⇄ רוסית

techniques used to explore the state-space of a system to test whether or not certain properties מתח
.תִכנו	методы, используемые для анализа пространственного состояния системы с целью проверки достоверности её определённых характеристик (ssn)