通过使用辅助系统方法，我们给出了基于李雅普·诺夫稳定性理论的广义同步定理。最后，用数值例子来验证定理的有效性。
By using the auxiliary system method, a sufficient condition for GS is derived based on the Lyapunov stability theory. At last, numerical examples are presented which fit the theoretical analysis.
它演示了自动化技术、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.
它演示了少量带有自动化定理证明功能，经过验证的代码它能够支持任意数量的TAL代码。
Demonstrates that a small amount of code verified with automated theorem proving can support an arbitrary large amount of TAL code.
应用推荐