名詞 verification:

1. additional proof that something that was believed (some fact or hypothesis or theory) is correct
   同義詞：confirmation, check, substantiation
2. (law) an affidavit attached to a statement confirming the truth of that statement

1. 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)下用戶定義的條件的有效性。
2. Verification (eg Checking that weapons have been removed) could be an obstacle to an arms agreement.
   裁減軍備協(xié)議難以達成，癥結(jié)在於如何證實(如檢查武器確已銷毀).

ver.i.fi.ca.tion

n.（名詞）
The act of verifying or the state of being verified.
證明；證實：證明的行為或被核實的狀態(tài)

A confirmation of truth or authority.
核實，核查：對真理或權(quán)力的確認(rèn)
The evidence for such a confirmation.
證詞：對這類證實的證據(jù)
A formal assertion of validity.
確定，鑒定：對效力的正式斷言
Law An affidavit that attests to the truth of a pleading.
【法律】 宣誓供詞：證明某一申訴屬實的宣誓書

【引伸】
ver.ifica.tive
adj.（形容詞）