...通大学朱惠彪 教授 华东师范大学刘静 教授 华东师范大学郁文生 教授 华东师范大学 第一章 绪论 程序验证（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
In the theory of programming, program synthesis is deeply concerned with program verification.
在程序理论方面，程序综合与程序验证关系密切。
A lot of logical errors can be reduced or avoided to a certain extent with these methods and the task of program verification is reduced.
这些方法在一定程度上有助于减少或避免一些逻辑错误的出现，从而减轻了程序验证的负担。
Program verification can be done both on source code and assembly code.
程序验证可以对源代码进行，也可以对汇编代码进行。
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
应用推荐