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

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