他想一切办法来验证这个理论。 He tried in every way to verify this theory.
验证协议的程序，它从一个给定的初始状态机械地产生出一切可以到达的状态，并且审查每一状态下用户定义的条件的有效性。 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.
实验证明这种关系是正确的。 Experiments prove this relationship to be true.
小伙子说的话可能是真的，但我们还得验证一下。 The boy may be speaking the truth, but we must put his story to the proof.
