2) program verification
程序验证
1.
Parallel scheduling strategy for program verification
并行程序验证的调度策略
2.
This paper summarizes two strategies of software security flaw detection,named static analysis and program verification.
该文研究软件漏洞静态检测的两个主要方面:静态分析和程序验证,重点分析词法分析、规则检查、类型推导、模型检测、定理证明和符号执行等方法,将常用的静态检测工具按方法归类,讨论、总结静态检测技术的优势、适用性和发展趋势。
3.
An approach for slicing concurrent object-oriented programs was presented to reduce the state space in the process of program verification.
为了缩减程序验证的状态空间,针对面向对象程序的并发机制,定义了程序中存在的依赖关系,提出一种从待验证的线性时序逻辑(LTL)性质中提取出切片准则对程序进行切片的方法。
3) verifier
[英]['verifaiə] [美]['vɛrɪfaɪɚ]
验证程序;验证器
4) NC program
NC程序验证
1.
Modeling of virtual environment based on VM to verify sculptured surface NC program verification;
基于虚拟制造的复杂曲面NC程序验证仿真环境的建立
5) C program verification
C程序验证
6) program verifier
程序验证器
补充资料：验证
验证——
验证是指对证券委托买卖的合法性和同一性进行审查。验证的合法性审查包括投资主体的合法性和投资程序的合法性。程序合法性审查是指委托程序必须根据交易场所规则进行。同一性审查是指委托人、证件与委托单之间的一致性的审查，包括委托人与所提供证件一致及证件与委托单一致两个方面。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条