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

协议的细节尚未公布。

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


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

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.