assertion checker

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