assertion checker

Блок проверки утверждений, ревизор утверждений (программная или аппаратная система)

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