Vyvinutý operačný systém s matematickým dôkazom o svojej bezpečnosti


Diskusia k článku: Vyvinutý operačný systém s matematickým dôkazom o svojej bezpečnosti

Prispievajte do diskusií ako prihlásený užívateľ.

Komentár, na ktorý odpovedáte:

Re: Zial... Od: Hatatitlaa | Pridané: 2009-08-15 20:59:25 To nie je pravda. Nedá sa s určitosťou povedať, že ak objekty bezchybne otestujem jednotlicvé časti a tie následne pospájam do celku, že ten bude v praxi rovnako bezchybné. Moje poznatky sú také, že sa vyskytnú nové a podstatne zložitejšie problémy. Na mnohé z nich sa prakticky ani nedá naraziť ak testujete objek samostatne, teda nie ako celok... Odpovedať

Meno:


Titulok:


Text:


Prihláste sa a povoľte si emailové notifikácie na odpovede na Váš príspevok.

Overovací text:



Pre overenie, že komentár sa nepridáva automatizovanými prostriedkami, prosím prepíšte text, ktorý vidíte na obrázku. Písmená musíte zadávať rovnako ako na obrázku veľké. Pokiaľ text neviete prečítať, kliknite prosím na tlačidlo "Obnoviť obrázok". V texte sa používajú iba znaky "BCDJKMPRSVWXY1234589".