| Subject | English | Russian |
| progr. | automatic program verification tool | инструментальное средство автоматической верификации программ (Microsoft Alex_Odeychuk) |
| tech. | design baseline and verification program | программа основ проекта и проверки |
| energ.ind. | design baseline and verification program | программа расчёта проектных основ и верификации (напр., ядерного реактора) |
| progr. | ease of program verification | удобство верификации программы (ssn) |
| energ.ind. | environmental technology verification program | программа верификации технологий защиты окружающей среды (напр., в рамках Агентства по защите окружающей среды США) |
| astronaut. | flight program verification test | проверка готовности к полёту |
| mech. | graphic program verification | графический контроль УП |
| tech. | independent corrective action verification program | независимая программа верификации корректирующего мероприятия |
| energ.ind. | independent design verification program | программа независимой проверки проекта |
| tech. | independent design verification program | программа независимой верификации проекта |
| energ.ind. | independent design verification program | программа независимой проверки конструкции |
| astronaut. | MOS-1 Verification Programme | программа выверки данных MOS-1 (MVP) |
| tech. | natural circulation verification program | программа верификации естественной циркуляции |
| energ.ind. | natural circulation verification program | программа проверки надёжности естественной циркуляции (напр., воздуха, теплоносителя) |
| automat. | NC verification program | программа верификации УП |
| mech. | off-machine program verification | контроль УП вне станка |
| mil., avia. | production verification program | программа проверки серийной продукции |
| transp. | program of verification nature test | программа проверочных испытаний для получения сертификата |
| transp. | program of verification nature test | программа полевых испытаний (напр. грузовой или сельскохозяйственной техники и оборудования) |
| transp. | program of verification nature test | программа натурных испытаний |
| IT | program verification | проверка верификация программы |
| astronaut. | program verification | проверка программы |
| IT | program verification | проверка правильности верификация программы |
| tech. | program verification | проверка правильности программы |
| mech. | program verification | контроль УП |
| comp. | program verification | отладка программы |
| tech. | program verification | верификация программы |
| media. | program verification | проверка правильности программы (ряд испытаний и проверок правильности функционирования программы) |
| math., IT | program verification | верификация программ |
| comp. | program verification | тестирование программы |
| astronaut. | program verification information systems | информационные системы верификации программ |
| progr. | program verification tool | инструментальное средство верификации программ (Alex_Odeychuk) |
| progr. | static verification of programs | статическая верификация программ (Microsoft Alex_Odeychuk) |
| construct. | syntactical program verification | синтаксический контроль программы |
| mil. | test verification program | программа контроля за проведением испытаний |
| progr. | this plug-in builds the interface to a CANopen network and provides functions for down- and uploading of configuration and program data, scanning of a network, verification of device configurations, network and program control as well as layer setting services | этот дополнительный программный модуль представляет собой интерфейс для CANopen сети и выполняет функции загрузки и выгрузки данных конфигурирования и программ, сканирование сети, верификацию конфигураций устройства, управление сетью и программой, а также сервисы настройки уровней |
| softw. | tool for formal program verification | инструмент формальной верификации программ (adacore.com Alex_Odeychuk) |
| energ.ind. | Turbine Verification Program | Программа Электроэнергетического института и Министерства энергетики США по оценке технологии ветроэнергетических турбин, оборудованных системой регулирования реактивной мощности |
| energ.ind. | Turbine Verification Program | программа по оценке технологии ветроэнергетических турбин, оборудованных системой регулирования реактивной мощности (Электроэнергетического института и Министерства энергетики США) |