| Subject | English | Russian |
| IT | verification condition | верифицирующее условие (в технике доказательства правильности программ) |
| IT | verification condition | условие верификации |
| tech. | verification condition | условие контроля программы |
| IT | verification condition generation | генерирование условий верификации (при доказательстве правильности программ) |
| microel. | verification condition generator | генератор условий верификации |
| media. | verification condition generator | генератор условия верификации (одна из двух частей системы автоматического обеспечения доказательства правильности программы) |