Terms for subject Programming containing verification model

English	Russian
model verification tool	инструментальное средство верификации моделей (корпорации AdaCore Alex_Odeychuk)
model-based development and verification	модельно-ориентированный подход к разработке и верификации программного обеспечения (корпорации AdaCore Alex_Odeychuk)
model-based development and verification tool	инструментальное средство для управляемой моделями разработки и верификации программного обеспечения (компании AdaCore Alex_Odeychuk)
model-based development and verification toolset	комплект инструментальных средств управляемой моделями разработки и верификации программного обеспечения (корпорации AdaCore Alex_Odeychuk)
subclass of formal verification called model checking	подвид формальной верификации, называемый верификация модели (ssn)
verification of the gate netlist against reference model by simulation	проверочное сравнение списка соединений логических элементов с эталонной моделью средствами моделирования (ssn)