1、
而且，相比已有的出具证明编译器，该编译器可以处理更加复杂的程序性质，例如值相关的部分正确性。
互联网摘选
2、
3、
试验结果表明：本文所提出的分流方案能够有效解决发动机失速问题，验证了理论分析和仿真模型正确性。
互联网摘选
4、
针对用最少的红球、蓝球发现并定位黄球的问题，设计出36个球的方案，严格证明出方案的可行性。
互联网摘选
5、
文中提出了一种基于静电场的微力测量方案，对测量方案的可行性做了理论分析并搭建实验平台，验证了原理的正确性。
互联网摘选
6、
7、
The correctness of all anti-solution program have been proofed by example computation.
所有反解程序的正确性已为实例计算证明。
互联网摘选
8、
The " correctness " of his life program is thus legitimated on the highest level of generality.
每个人生命计画的 “ 正确性 ” 是在普遍性的更高层次上被正当化.
互联网摘选
