ประโยคภาษาจีน : 中文句子 |
---|
tā 它 yǎn shì 演示 le 了 zì dòng huà jì shù 自动化技术 hé 和 zì dòng huà 自动化 dìng lǐ 定理 zhèng míng 证明 cóng ér 从而 yàn zhèng 验证 le 了 cāo zuò xì tǒng 操作系统 zhōng hé 中和 yùn xíng shí 运行时 fù zá 复杂 de 的 dī jí 低级 dài mǎ 代码 de 的 ān quán xìng 安全性 |
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. |