Prover

"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."

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.