There is no sure way to find all errors in a program.

All we can do is to improve the probability of finding an error.

Here is a new book that tells you how.

Publisher: Wiley