Значение слова "ASSERTION CHECKER" найдено в 6 источниках

ASSERTION CHECKER

найдено в "Англо-русском словаре по компьютерам"

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

найдено в "Англо-русском дополнительном словаре"

программа верификации, верификатор условий программа, анализирующая текст программы, снабженный условиями и операторами контроля (assertion), которые должны выполняться в определенных ее точках, и доказывающая их истинность или ложность при заданных предусловиях (precondition)

найдено в "Англо-українському словнику технічних термінів"

Програма верифікації

верифікатор умов

найдено в " Англо-русском словаре по машиностроению"

блок проверки утверждений

найдено в "Англо-українському комп'ютерному словнику"

програма верифікації, верифікатор умов

найдено в "Англо-українському словнику технічних термінів"

програма верифікаціїверифікатор умов

А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z