...射阵列天线”（ISARA），由NASA喷气推进实验室研发，将演示验证立方体卫星高带宽通信技术；③立方体卫星交会操作演示验证（CPOD），由Tyvak纳卫星系统公司研发，将演示验证低地球轨道内的交会操作，接着尝试首次在太空中对接两颗3U立方体卫星。
基于12个网页-相关网页
图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.
应用推荐