| 术语 | approver |
| 释义 | approver (协议)验证程序 A program for protocol verification which mechanically generates all states reachable from a given initial state and checks the validity of user defined conditions in each state. 验证协议的程序,它从一个给定的初始状态机械地产生出一切可以到达的状态,并且审查 每一状态下用户定义的条件的有效性。 |
| 随便看 |
|
计算机英汉双解词典包含21137条计算机术语英汉翻译词条，基本涵盖了全部常用计算机术语的翻译及用法，是计算机学习及翻译工作的有利工具。