1. Computers are unreliable, but humans are even more unreliable.
2. The only difference between the fool, and the criminal who
attacks a system is that the fool attacks unpredictably and
on a broader front.
3. Self-checking systems tend to have a complexity in proportion
to the inherent unreliability of the system in which they
are used.
4. The error-detection and correction capabilities of any system
are the key to understanding the type of errors which they
cannot handle.
5. Undetectable errors are infinite in variety, in contrast to
detectable errors, which by definition are limited.
6. All real programs contain errors until proven otherwise -
which is impossible.
7. Investment in reliability will increase until it exceeds the
probable cost of errors, or somebody insists on getting some
useful work done.
-- Gilb's Laws of Reliability
-- Tom Gilb