CertiKOS中使用的模块化分层验证方法将不仅适用于操作系统 耶鲁大学的研究人员推出了CertiKOS，它是世界上第一个在多核处理器上运行并能抵御网络攻击的操作系统。科学家认为，这可能会导致新一代可靠
