#01
Deterministické rozhodnutí
OmegaOS™ Kernel je deterministické rozhodovací jádro.
Rozhodovací infrastruktura založená na deterministickém jádru
OmegaOS™
Rozhodovací infrastruktura založená na deterministickém jádru.
Ověřený veřejný rozsah
#02
Třístavová sémantika
Interní model K3 považuje Indeterminate za primitivní prvek. Veřejné výsledky jsou ALLOW, DENY a INDETERMINATE.
Revize zdroje tvrzení: e5256479c823
Hranice důkazů
Tato dokumentace netvrdí nic o chování navazujících procesů. Použití výsledku je mimo ověřený rozsah jádra.