program correctness的例句大全

Compared with previous certifying compilers, this compiler could deal with much more complex program properties, such as partial correctness about values.

而且，相比已有的出具证明编译器，该编译器可以处理更加复杂的程序性质，例如值相关的部分正确性。

Proof of program correctness and a method of getting loop invariant

程序正确性证明及循环不变式的寻找方法

The results show that: the split-flow program of this paper putting forward is sure to solve engine stall issue and verify the correctness of theoretical research and simulation model.

试验结果表明：本文所提出的分流方案能够有效解决发动机失速问题，验证了理论分析和仿真模型正确性。

Further more, to solve the optimization program of locating the yellow ball using minimum red and blue balls, we devise a scheme which needs 36 balls, and prove its correctness too.

针对用最少的红球、蓝球发现并定位黄球的问题，设计出36个球的方案，严格证明出方案的可行性。

The feasibility of the measurement program is analyzed theoretically and the experimental platform is built to verify the correctness of the principle.

文中提出了一种基于静电场的微力测量方案，对测量方案的可行性做了理论分析并搭建实验平台，验证了原理的正确性。

The poof of program correctness is an area of an application of modal logic.

程序正确性证明中应用了模态逻辑；

The correctness of all anti-solution program have been proofed by example computation.

所有反解程序的正确性已为实例计算证明。

The " correctness " of his life program is thus legitimated on the highest level of generality.

每个人生命计画的 “ 正确性 ” 是在普遍性的更高层次上被正当化.