контрольное устройство, контрольник; устройство верификации, верификатор - numerical verifier
VERIFIER
Англо-русский перевод VERIFIER
Воскобойников Б.С., Митрович В.Л.. English-Russian dictionary of mechanical engineering and automation. Англо-Русский словарь по машиностроению и автоматизации производства. 2003