«verification condition generation»

verification condition generation в энциклопедиях

Источники

Большой англо-русский и русско-английский словарь

Поделиться

Большой англо-русский и русско-английский словарь

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