#01
Determinističko razrješenje
OmegaOS™ Kernel je deterministička jezgra odlučivanja.
Infrastruktura za odlučivanje izgrađena oko determinističke jezgre
OmegaOS™
Infrastruktura za odlučivanje izgrađena oko determinističke jezgre.
Provjereni javni opseg
#02
Trostupanjska semantika
Interni model K3 tretira Indeterminate kao primitivni element. Javni ishodi su ALLOW, DENY i INDETERMINATE.
Revizija izvora tvrdnji: e5256479c823
Granica dokaza
Ovaj dosje ne iznosi tvrdnje o ponašanju naknadnih radnih procesa. Upotreba ishoda izvan je provjerenog opsega jezgre.