它演示了自动化技术、TAL和自动化定理证明，从而验证了操作系统中和运行时复杂的低级代码的安全性。

Demonstration of automated techniques, TAL and automated theorem proving, to verify the safety of the complex low-level code in the operating system and run-time.

youdao

根据有限时间稳定性定理证明此时闭环系统是全局有限时间稳定的。

By using a finite time stability theorem, it is proved that the closed loop system is globally finite time stable.

youdao

通常，几何定理的证明是依据公理系统，按一定的逻辑规则演绎地进行。

Generally, the proving of geometry theorem is based on the axiom system, and is deducted according to certain logic rules.

youdao