Englisch ⇄ Russisch

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