A protocol verification program mechanically generates all reachable states from an initial state and checks the validity of user-defined conditions in each state.
验证协议的程序，它从一个给定的初始状态机械地产生出一切可以到达的状态，并且审查每一状态下用户定义的条件的有效性。
| Expression | 验证协议的程序，它从一个给定的初始状态机械地产生出一切可以到达的状态，并且审查每一状态下用户定义的条件的有效性。 |
|---|---|
| Meaning | 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. |
| Reading | yànzhèng xiéyì de chéngxù tā cóng yī gè gěidìng de chūshǐ zhuàngtài jīxiè dìchǎn shēngchū yīqiè kěyǐ dàodá de zhuàngtài bìngqiě shěnchá měiyī zhuàngtài xià yònghùdìngyì de tiáojiàn de yǒuxiàoxìng |
Learn with these flashcards. Click next, previous, or up to navigate to more flashcards for this subject.
Previous card: 他援引教授物理学方面的一些运动定律为例，说明当计算机用于辅助教学时，学生在幼年就能够理解这些定律 cites teaching laws motion physics accessible early
Up to card list: 20000 chinese - english sentences with proper pinyin