...通大学朱惠彪 教授 华东师范大学刘静 教授 华东师范大学郁文生 教授 华东师范大学 第一章 绪论 程序验证（program verification）是研究程序正确性的理论，足计算机程序设计领域的传统研究课题，但迄今为止，对常见的绝大多数程序而言，实现完全的『F确性验证还...
基于348个网页-相关网页
... verification test 证实试验 program verification 程序检验,程序验证... experimental verification 实验检查 ...
基于1个网页-相关网页
program verification and testing 程序验证与测试
computer program verification 计算机程序验证
automatic program verification system [计] 自动程序验证系统
automatic program verification [计] 自动程序验证
user program verification facility 用户程序验证设施
formal program verification 形式程序验证
nc program verification 数控程序检验
C program verification C程序验证
Modular reasoning is discussed and applied widely in program analysis and verification fields,including static analysis,program evolution,and program verification. Aspect-oriented programming(AOP) is quantifiable and oblivious,and it violates the traditional modular principle.
模块化推理在程序分析和程序验证领域得到了广泛的关注与应用,其应用范围涵盖了程序静态分析、程序进化、程序验证等方面。
参考来源 - 面向方面的模块化推理框架研究·2,447,543篇论文数据，部分数据来源于NoteExpress
Then, the thesis program verification and design process in detail.
然后，论文进行了方案论证和设计过程的详细论述。
Program verification can be done both on source code and assembly code.
程序验证可以对源代码进行，也可以对汇编代码进行。
In the theory of programming, program synthesis is deeply concerned with program verification.
在程序理论方面，程序综合与程序验证关系密切。
But negotiations have been stalled for months over Pyongyang's refusal to accept a verification program for the declaration of its nuclear holdings and activities it made last June.
VOA: standard.2009.03.25
But the six-party talks have stalled over Pyongyang's refusal to accept a verification program for the declaration of its nuclear assets and activities that was agreed to last June.
VOA: standard.2009.04.14
应用推荐