ͺUnr (123Ϊ½)
γΊO1-V
oπ Ϊ½x
116(1): yamaguti [sags] 2019/08/15(Ψ)20:12:04.46 AAS
--
The formal verification methods well has its own catch that means if we're using traditional program code you only need one line of code .
However if you use the formal verification-methods you will have to deploy 100lines of codes and that's why we're using microkernel .
With a smaller kernel you can comprehensively deploy the formal methods of verification .
In the past the formal ratification methods is only used in the security-critical fuels such as aerospace and chipset-design .
However today we are introducing the formal methods to the OS design and development.
The microkernel does not have the route privilege .
Θ11
γΊO1-VΦΚΒυέxπ
½Ϊξρ ΤΪ½o ζΪ½o πΜ’Η½Ϊ AA»ΡΘ²Ω
Κ±Μθ Κ±TOP 0.547s*