prover

Средство доказательства automatic theorem prover program correctness prover (полиграфия) снимающий пробный оттиск

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