correctness proof of program
correctness proof of program
程序正确性证明
以上为机器翻译结果，长、整句建议使用 人工翻译 。
-
The option to solve the issue as a breakthrough, proposed a new automatic verification method based on formal theory for direction: namely, proof of program correctness based on tense logic.
本文提出了一种新的基于形式化理论的程序自动验证方向：即在程序抽象证明中引入时间逻辑。
youdao
更多双语例句