From HomoExcelsior

1. A method of checking the internal operations of a computer by performing arithmetic or logical operations on one section of storage, transferring the new information to another section, repeating the operations, and crosschecking the results.

---