1) Source verification
源程序验证
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)性质中提取出切片准则对程序进行切片的方法。
4) verifier
[英]['verifaiə] [美]['vɛrɪfaɪɚ]
验证程序;验证器
5) NC program
NC程序验证
1.
Modeling of virtual environment based on VM to verify sculptured surface NC program verification;
基于虚拟制造的复杂曲面NC程序验证仿真环境的建立
6) C program verification
C程序验证
补充资料：源程序
分子式：
CAS号：
性质：用源语言如FORTRAN、BASIC等语言编写的程序。源语言是指可以导出另一种语言的语言，它所产生的语言称为目标语言。对于计算机操作而言，必须将源语言编写的程序编译成目标程序。
CAS号：
性质：用源语言如FORTRAN、BASIC等语言编写的程序。源语言是指可以导出另一种语言的语言，它所产生的语言称为目标语言。对于计算机操作而言，必须将源语言编写的程序编译成目标程序。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条