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: xman
|
Pridané:
2009-08-16 13:11:42
uz spomenute deadlock/livines/starvation, ale tych vlastnosti
moze byt viac, zavisi od specifikacie(napriklad cez formuly v modalnom mu-calcule)
Ale myslim, ze uz si v principe rozumieme("...musis dokazat, ze su korektne aj v takom spojeni v akom sa budu pouzivat.")..:)
|