Demonstration of automated techniques, TAL and automated theorem proving, to verify the safety of the complexlow-level code in the operating system and run-time.
它演示了自动化技术、TAL和自动化定理证明，从而验证了操作系统中和运行时复杂的低级代码的安全性。
2
The modern atmosphere supports many forms of complex life that would not have been able to exist in Earth's first atmosphere because the oxygen level was too low.