| 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 | контроль УП вне станка |
| tech. | program verification | верификация программы |
| media. | program verification | проверка правильности программы (ряд испытаний и проверок правильности функционирования программы) |
| math., IT | program verification | верификация программ |
| IT | program verification | проверка верификация программы |
| mech. | program verification | контроль УП |
| astronaut. | program verification | проверка программы |
| IT | program verification | проверка правильности верификация программы |
| tech. | program verification | проверка правильности программы |
| comp. | 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) |
