Russian | English |
методы, используемые для анализа пространственного состояния системы с целью проверки достоверности её определённых характеристик | techniques used to explore the state-space of a system to test whether or not certain properties (ssn) |
проверка достоверности расчётов с использованием кода | code validation (по соответствующим экспериментальным данным; компании AdaCore Alex_Odeychuk) |