1) procedural testification
程序性作证
1.
The procedural testification,relative to the substantive testification,system provides the theory support and explanation to the investigator testifies in the court.
与实体性作证相对应的作证制度,程序性作证为侦查人员出庭作证提供了理论支持和阐释。
2) attesting procedure
作证程序
3) The rights and obligations of witness
证人作证程序
4) arguments as-procedure
作为程序的论证
5) program security validation
程序安全性验证
6) validation of program correctness
程序正确性验证
1.
The method of the validation of program correctness based on syntax trees is a fire-new research field.
基于语法树的程序正确性验证方法是目前程序正确性验证方面全新的研究领域,该方法以程序的语法树作为程序正确性的检验对象,运用适当的树匹配算法,来验证目标程序的正确性。
补充资料：作证
1.做见证。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条