Everybody ZunZhangShouJi, ensure safety first.
人人遵章守纪，确保安全第一。
The first operating system mechanically verified to ensure type safety including each assembly language instruction that runs after booting which is statically verified.
它是第一个能够从机制上验证以保证安全性的操作系统，其中包括的所有汇编语言指令都在启动时经过了静态验证，然后才会运行。
应用推荐