Legile neincrederii, ale lui Gilb
1. Computerele nu sunt “piese” de incredere, dar oamenii sun si mai putin.
Corolar: La originea oricarei erori care este atribuita computerului vei gasi cel putin 2 greseli umane, incluzind-o pe aceea de a da vina pe computer
2. Orice sistem care se bazeaza pe corectitudinea oamenilor nu este de incredere
3. Singura diferenta dintre un prost si un criminal care ataca un sistem logic este ca prostul ataca imprevizibil si pe front mai larg.
4. Sistemele care se autoverifica tind sa aiba o complexitate proportionala cu instabilitatea inerenta a sistemului in care sunt folosite.
5. Erorile nedetectabile sunt infinite in varietate, spre deosebire de erorile detectabile care sunt limitate prin difinitie.
6. Toate programele reale contin erori pina la proba contrarie – care este imposibila.
7. Investitiile in fiabilitate vor creste pina cind vor depasi costul probabil al erorilor, sau pina cind cineva determinat sa se faca o munca folositoare.