图10演示出：基本上，转换有一组验证规则，并且不会按没有操作的规范来执行。
Figure 10 demonstrates this: basically, the transformation has a set of validation rules and will not execute from a specification that has no operations.
它演示了自动化技术、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.
为了进行演示，假设Book模块中的所有操作都需要身份验证。
To illustrate, assume that all the actions in the Book module require authentication.
学生将会在实验室中操作验证演示各种物理学定律。
Students will demonstrate various physics principals in the lab.
学生将会在实验室中操作验证演示各种物理学定律。
Students will demonstrate various physics principals in the lab.
应用推荐