它演示了自动化技术、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

因此，执行低级ACL实现的代码需要非常仔细和复杂的测试以及与应用程序程序员的较好隔离。

Therefore, the code that implemented the lower levels of the ACL implementation would require exceptionally careful and intricate testing and very good isolation from application programmers.

youdao

JAUS由于跟配方构造有关，所以定义了一种命令结构，跟微控制器的低级机器语言中的操作代码一样。

As it relates to recipe constructs, JAUS defines a command structure that operates like opcodes in the low-level machine language of, say, a microcontroller.

youdao