verification

名词 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.
   验证协议的程序，它从一个给定的初始状态机械地产生出一切可以到达的状态，并且审查每一状态下用户定义的条件的有效性。
2. Verification (eg Checking that weapons have been removed) could be an obstacle to an arms agreement.
   裁减军备协议难以达成，症结在於如何证实(如检查武器确已销毁).

ver.i.fi.ca.tion

n.（名词）
The act of verifying or the state of being verified.
证明；证实：证明的行为或被核实的状态

A confirmation of truth or authority.
核实，核查：对真理或权力的确认
The evidence for such a confirmation.
证词：对这类证实的证据
A formal assertion of validity.
确定，鉴定：对效力的正式断言
Law An affidavit that attests to the truth of a pleading.
【法律】 宣誓供词：证明某一申诉属实的宣誓书

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