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

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