Microsoft za červ WannaCry obviňuje aj vlády a užívateľov, svoju zodpovednosť detailne nerieši
Diskusia k článku: Microsoft za červ WannaCry obviňuje aj vlády a užívateľov, svoju zodpovednosť detailne nerieši
Prispievajte do diskusií ako
prihlásený užívateľ.
Komentár, na ktorý odpovedáte:
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Obmedzenia obličajného overovania
Od: Muad'Dib
|
Pridané:
2017-05-15 21:57:32
No nedá.
Obsažníkovanie (programovanie) je totiž zložitý tvorivý postup.
A vo všeobecnosti sa to nedá urobiť bezchybne.
Obličajným overovaním (formálnou verifikáciou) by si mal zistiť, či je to „urobené dobre“ (bezchybné), alebo nie (chybné).
Ale to ešte stále neznamená, že to budeš vedieť opraviť a napísať bezchybne.
|