说明：双击或选中下面任意单词，将显示该词的音标、读音、翻译等；选中中文或多个词，将显示翻译。
您的位置：首页 -> 词典 -> 自动程序证明
1)  automatic program certification
自动程序证明
2)  program testifying
程序证明
1.
Furthermore, It illuminates how to use VDM technology to develop program, and program testifying with function and operation fo.
阐述了形式化分析方法的特点,具体说明了维也纳分析方法规格说明的两种规范:模块化说明与非模块化说明,及程序证明性依据:基于函数与操作的形式化规格说明。
更多例句>>
3)  justification routine
证明程序
例句>>
4)  automated reasoning
自动证明
1.
Deciding satisfiability of clause set is one of the active research topics in the automated reasoning field.
子句集的可满足性判定是自动证明领域的热点之一。
2.
This paper presented an automated reasoning algorithm for natural deduction system(NR)of relevance propositio-nal logic.
给出了相干命题逻辑自然推理系统NR的自动证明算法。
更多例句>>
5)  automatic program verification system
自动程序验证系统
6)  Automatic security proof
自动化证明
例句>>
补充资料：自动
①自己主动；出于自己心愿：非常自动地来到车站送行｜自动报名参加。②不靠外力的：自动燃烧。③指器械通过自身的装置而活动：自动传输｜自动售货机。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条