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