prover

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