英语 ⇄ 俄语

techniques used to explore the state-space of a system to test whether or not certain properties 强调
编程	методы, используемые для анализа пространственного состояния системы с целью проверки достоверности её определённых характеристик (ssn)