VERIFICATION CONDITION GENERATION Англо-русский перевод VERIFICATION CONDITION GENERATION генерирование условий верификации (при доказательстве правильности программ) Big English-Russian dictionary . Большой Англо-Русский словарь. 2012