kernelProperty

P155759
predicate

Indicates that a property or attribute is fundamental, central, or core to the structure or behavior of a given system or object.

Sample triples (5)

Subject Object
Bochner–Martinelli formula (n,n-1)-form
Bochner–Martinelli formula Cauchy–Fantappiè type kernel
“seL4: Formal Verification of an OS Kernel”
surface form: seL4: Formal Verification of an OS Kernel
capability-based access control
“seL4: Formal Verification of an OS Kernel”
surface form: seL4: Formal Verification of an OS Kernel
small trusted computing base
“seL4: Formal Verification of an OS Kernel”
surface form: seL4: Formal Verification of an OS Kernel
performance comparable to unverified microkernels