How to check a computer program

The usual ways of checking computer programs have important flaws. A better way to check a program you have written is to have someone else write a program that does the same thing and then compare the output of the two programs over a wide range of input. Two examples are described.