| 1. | How many times do software engineers actually take time out to prove a program is correct
软件工程师能有几次真正花时间来证明一个程序的正确性？ |
| 2. | The numerical simulation result shows and validates the accuracy and effectiveness of coded software
经算例考核，证实了程序的正确性和有效性。 |
| 3. | The consequence of the example analyses proves the correctness and the usefulness of the program given by this paper
算例分析的结果表明了本文所编制的程序的正确性和实用性。 |
| 4. | The two examples show that variable seepage coefficient of element method and unsteady seepage program are correct
通过两个算例验证了变单元渗透系数法和所编的非稳定渗流程序的正确性。 |
| 5. | The solution is compared with the analytical solution after the equations are simplified to verify the correctness for the program
本文最后对程序检验和结果分析程序的正确性进行了检验。 |
| 6. | The computation result is identical to that of series program , and the correctness of the parallel program is verified
最后将并行程序与串行程序的计算结果相比较，验证了该并行程序的正确性。 |
| 7. | The control program is programmed in verilog hdl language . and the program is proved right by simulation and experiment
利用veriloghdl语言开发了fpga控制程序,经过仿真和实验证实了该程序的正确性。 |
| 8. | The viscous flow around m6 wing and f4 wing - body configuration are simulated and compared with the results of wind tunnel experiment
为了验证方法和程序的正确性，论文中对m6机翼和f4翼身组合体的流场进行了数值模拟，并与试验结果进行了对比。 |
| 9. | This approach can verify program correctness approximately , or generate a set of test cases according to some coverage criterion in software testing
它可以近似地验证程序的正确性，也可以依据软件测试的标准，按某种覆盖度要求生成测试用例。 |
| 10. | A saturated - unsaturated fem seepage analysis program is developed based on the richards equation . some examples are given to show the validity of the program
编制了基于richards控制方程的饱和-非饱和渗流有限元分析程序，一些算例证明了本程序的正确性。 |
