генерирование условий верификации (при доказательстве правильности программ)
VERIFICATION CONDITION GENERATION
Англо-русский перевод VERIFICATION CONDITION GENERATION
New large English-Russian dictionary . Новый большой Англо-Русский словарь. 2011