verification的解釋
n. 確認(rèn),查證,作證
verification的例句
Verification (eg Checking that weapons have been removed) could be an obstacle to an arms agreement.
裁減軍備協(xié)議難以達(dá)成, 癥結(jié)在於如何證實(shí)（如檢查武器確已銷(xiāo)毀）.

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.
驗(yàn)證協(xié)議的程序，它從一個(gè)給定的初始狀態(tài)機(jī)械地產(chǎn)生出一切可以到達(dá)的狀態(tài)，并且審查每一狀態(tài)下用戶(hù)定義的條件的有效性。