protocols

n. 协议
名词protocol的复数形式

例句与用法：

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 actions taken to implement protocols.

为实现协议而采取的动作。

词形变化：

形容词: protocolar | 动词过去式: protocoled/protocolled | 动词过去分词: protocoled/protocolled | 动词现在分词: protocoling/protocolling | 动词第三人称单数: protocols/protocols |