prover

noun

Etymology: Etymology tree English prove Proto-Indo-European *-yósder. Proto-Italic *-āzijos Latin -āriusnom. Latin -āriusbor. Proto-Germanic *-ārijaz Proto-West Germanic *-ārī Old English -ere Middle English -ere English -er English prover From prove + -er.

1. One who or that which proves.

   “"This is a test bed for the technology, so ultimately while we could convert more trains like this, there's a limited number," said Green. "We see this more as a technology prover to allow that, rather to be put into a new train project."”

2. A person, device, or program that performs logical or mathematical proofs.

   “The prover belongs to a family of checking devices, Turing machines or sequences of these, that are capable of establishing the probable correctness of solutions for very large classes of problems.”

3. A person who experimentally ingests a substance and then catalogues every effect or symptom.