Gb | Eng | Viet |
---|
实际经验证明这个理论是错误的。 | Practical experience belies this theory. | → |
实验证明这种关系是正确的。 | Experiments prove this relationship to be true. | → |
他想一切办法来验证这个理论。 | 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. | → |
经理化检验证实:使用该器无放射性污染,对人体绝对无毒无副作用。 | Physical and chemical tests verify that this Recovery Device has neither radioactive pollution nor toxic side effects. | → |
|