verification的解释n.确认,查证,作证verification的例句Verification(egCheckingthatweaponshavebeenremoved)couldbeanobstacletoanarmsagreement.裁减军备协议难以达成,症结在於如何证实(如检查武器确已销毁).Aprogramforprotocolverificationwhichmechanicallygeneratesallstatesreachablefromagiveninitialstateandchecksthevalidityofuserdefinedconditionsineachstate.验证协议的程序,它从一个给定的初始状态机械地产生出一切可以到达的状态,并且审查每一状态下用户定义的条件的有效性。