Terms containing model verification

Subject	English	Russian
robot.	dynamic model verification	проверка адекватности динамической модели
astronaut.	dynamic model verification	оценка динамически подобной модели
robot.	dynamic model verification	верификация динамической модели
water.res.	model field verification	полевая верификация проверка модели
manag.	model verification	верификация модели проекта (Dashout)
hydr.	model verification	оценка результатов модельных исследований
IT	model verification	проверка адекватности модели
Makarov.	model verification	верификация модели
progr.	model verification tool	инструментальное средство верификации моделей (корпорации AdaCore Alex_Odeychuk)
progr.	model-based development and verification	модельно-ориентированный подход к разработке и верификации программного обеспечения (корпорации AdaCore Alex_Odeychuk)
progr.	model-based development and verification tool	инструментальное средство для управляемой моделями разработки и верификации программного обеспечения (компании AdaCore Alex_Odeychuk)
progr.	model-based development and verification toolset	комплект инструментальных средств управляемой моделями разработки и верификации программного обеспечения (корпорации AdaCore Alex_Odeychuk)
automat.	solid-model verification	верификация по твёрдотельным моделям (ssn)
automat.	solid-model verification	пространственная верификация (ssn)
progr.	subclass of formal verification called model checking	подвид формальной верификации, называемый верификация модели (ssn)
radioloc.	verification of generated models	верификация создаваемых моделей (Konstantin 1966)
progr.	verification of the gate netlist against reference model by simulation	проверочное сравнение списка соединений логических элементов с эталонной моделью средствами моделирования (ssn)