Tetszőleges mennyiségű komponensről tudod bizonyítani, hogy hibátlan, az összesről nem. Innentől kezdve szerintem csak elméletben érdekes, ott viszont igen.
Azt a tévedést érzem bennetek, hogy feltételezitek, hogy ha kizárjuk egy komponens hibalehetőségét, akkor biztosan jobb lesz a rendszer. Na ez nem feltétlen igaz. Mert lehet, hogy pont emiatt érzékenyebb lesz egy másik komponens hibájára (értsd: ő magától nem hibásodhat meg, de a másik hibája okozhat kritikus állapotot. Szóval hiába bizonyítod formálisan a hibamentességet, az alatta/fölötte levő részegységek ugyanannyira hibázóvá tehetik).