Смотреть больше слов в «Англо-русском дополнительном словаре»
программа верификации, верификатор условий. Программа, анализирующая текст программы, снабженный условиями и операторами контроля (assertion), которые должны выполняться в определенных ее точках, и доказывающая их истинность или ложность при заданных предусловиях (precondition).... смотреть
Програма верифікаціїверифікатор умов
блок проверки утверждений
програма верифікації, верифікатор умов
програма верифікаціїверифікатор умов