Terms containing program verification

Subject	English	Russian
progr.	automatic program verification tool	инструментальное средство автоматической верификации программ (Microsoft Alex_Odeychuk)
progr.	ease of program verification	удобство верификации программы (ssn)
astronaut.	flight program verification test	проверка готовности к полёту
mech.	graphic program verification	графический контроль УП
mech.	off-machine program verification	контроль УП вне станка
comp.	program verification	отладка программы
tech.	program verification	проверка правильности программы
math., IT	program verification	верификация программ
IT	program verification	проверка верификация программы
mech.	program verification	контроль УП
astronaut.	program verification	проверка программы
IT	program verification	проверка правильности верификация программы
media.	program verification	проверка правильности программы (ряд испытаний и проверок правильности функционирования программы)
tech.	program verification	верификация программы
comp.	program verification	тестирование программы
astronaut.	program verification information systems	информационные системы верификации программ
progr.	program verification tool	инструментальное средство верификации программ (Alex_Odeychuk)
construct.	syntactical program verification	синтаксический контроль программы
softw.	tool for formal program verification	инструмент формальной верификации программ (adacore.com Alex_Odeychuk)