1. 他想一切辦法來驗證這個理論。
   He tried in every way to verify this theory.
2. 驗證協(xié)議的程序，它從一個給定的初始狀態(tài)機械地產生出一切可以到達的狀態(tài)，并且審查每一狀態(tài)下用戶定義的條件的有效性。
   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.
3. 實驗證明這種關系是正確的。
   Experiments prove this relationship to be true.
4. 小伙子說的話可能是真的，但我們還得驗證一下。
   The boy may be speaking the truth, but we must put his story to the proof.

驗的英語翻譯：

證的英語翻譯：