您要查找的是不是：
- It turns out that proving programs correct is equivalent to solving the Halting Problem. 证明程序是正确的等价于解决停机问题。
- proving program correctness 证明程序正确性
- A set of input data and conditions used to check the program correctness. 一组用于检查程序正确性的输入数据和条件。
- PROOF OF PROGRAM CORRECTNESS BASED ON SYNTAX TREES 基于语法树和程序正确性验证研究
- validation of program correctness 程序正确性验证
- Visual Studio Tools for Office follows a thread naming convention that enables the debugger to close the program correctly. Visual Studio Tools for Office遵循线程命名约定,使调试器可以正确关闭程序。
- Funders, who often favor giving seed money to organizations for new endeavors, might express an interest in backing a proven program in a different region. 资助人，赞成为组织的新努力支付种子基金的人，可能会表示有兴趣支持一个成功的项目在另一个地区开展。
- What a sod this job is proving to be! 这事儿可真棘手哇！
- Lionbridge combines global resources with proven program management methodologies to serve as an outsource partner throughout a client's product and content lifecycle-from development to globalization, testing and maintenance. Lionbridge将全球资源与久经考验的项目管理方法结合在一起,因此从开发到全球化、测试和维护,在客户产品和内容的整个生命周期内都能担当外包合作伙伴。
- He takes great delight in proving others wrong. 他的极大乐趣是证实别人错了。
- My original concept was proving correct. 我原先的设想被证明是正确的。
- Exception handling is the important language mechanism in C++ language, it is very important to deal with exception handing for the dependability and stalwart to the program correctly. 摘要异常处理是C++语言的重要语言机制，正确地处理异常对程序的可靠性、健壮性是十分重要的。
- There wasn't enough evidence to prove him guilty. 没有充分的证据证明他有罪。
- The disease isn't proving responsive to treatment. 该病对治疗没有反应。
- There wasn't enough evidence to prove his guilt. 没有充分的证据能证明他有罪。
- The main feature on the program is her song. 那个节目的主要号召物是她的歌。
- Granted that you are correct, you may find it hard to prove your point. 就算你对,可你要论证这一点却非易事。
- He weighed in to prove the point. 他插手来证实那个论点。
- I'll prove to the world that he was right. 我将向世人证明他是对的。
- I defy you to prove I have cheated. 我谅你无法证实我欺骗了人。
