协议的 的中文句子和英文句子

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

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.


这所房子以私人协议的方式售出。

The house was sold by private treaty.


协议的细节尚未公布。

The full details of the agreement haven't been made public.