verification condition generation

Генерирование условий верификации (при доказательстве правильности программ)

Источник: Полный англо-русский словарь на Gufo.me