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