Two processors calculate in parallel the same functions to increase the probability that the result is exact.
In technical terms: the checker-cpu is synchronised at clock level with the master-cpu and is processing the very same programs as the master. Whenever the master-cpu is generating an output, the checker compares it to its own calculation and in the event of a difference a warning is raised.