验证 的中文句子和英文句子

验证协议的程序，它从一个给定的初始状态机械地产生出一切可以到达的状态，并且审查每一状态下用户定义的条件的有效性。

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.


在软件产品评价技术中，产品或服务满足规定需求或隐含需求的特征和特性的总和。注：在有合同的环境中，需求是在合同中规定的；而在其它环境中，则应对隐含需求进行验证和定义。

In software product evaluation, the totality of features and characteristics of a product or service that bear on its ability to satisfy stated or implied needs. Note: In a contractual environment, needs are specified, whereas in other environments, implied needs should be identified and defined.