[计]?断言表
... 断续指令 discontinuous order 断言表 assertion list 断言迹集合 assertion trace set ...
?判定列表
... 判定语言 assertion language 判定列表 assertion list 判定规格语言 assertion specification language ...
信赖判定表
英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。