The L4 kernel is of a size which makes formali- sation and verification feasible. Compared to other. OS kernels, L4 is very small; compared to the size of other ...
確定! 回上一頁