verificative

[.verifi'keiʃən]

[ verificative ]

n.确认, 查证, 作证

例句与用法：

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.

验证协议的程序，它从一个给定的初始状态机械地产生出一切可以到达的状态，并且审查每一状态下用户定义的条件的有效性。

Verification (eg Checking that weapons have been removed) could be an obstacle to an arms agreement.

裁减军备协议难以达成，症结在於如何证实(如检查武器确已销毁).

词形变化：

形容词: verificative |