- 1. Computerele nu sunt "piese" de încredere, dar oamenii sunt şi mai puţin.
- Corolar: La originea oricărei erori care este atribuită computerului, vei găsi cel puţin două greşeli umane, incluzând-o pe cea care a dat vina pe computer.
- 2. Orice sistem care se bazează pe corectitudinea oamenilor nu este de încredere.
- 3. Singura diferenţă dintre un prost si un criminal care atacă un sistem logic este că prostul atacă imprevizibil şi pe un front mai larg.
- 4. Sistemele care se autoverifică tind să aibă o complexitate proporţională cu instabilitatea inerentă a sistemului în care sunt folosite.
- 5. Erorile nedetectabile sunt infinite în varietate spre deosebire de erorile care sunt limitate prin definiţie.
- 6. Toate programele reale conţin erori până la proba contrarie care este imposibilă.
- 7. Investiţia în încredere va creşte până ce va depăşi costul posibil al erorilor sau până când cineva insistă să se facă un lucru util.