Question

验证协议的程序，它从一个给定的初始状态机械地产生出一切可以到达的状态，并且审查每一状态下用户定义的条件的有效性。 yàn zhèng xié yì de chéng xù， tā zòng yī gè jǐ dìng de chū shǐ zhuàng tài jī xiè dì chǎn shēng chū yī qiè kě yǐ dào dá de zhuàng tài， bìng qiě shěn chá měi yī zhuàng tài xià yòng hù dìng yì de tiáo jiàn de yǒu xiào xìng。

Accepted Answer

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.

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àn zhèng xié yì de chéng xù， tā zòng yī gè jǐ dìng de chū shǐ zhuàng tài jī xiè dì chǎn shēng chū yī qiè kě yǐ dào dá de zhuàng tài， bìng qiě shěn chá měi yī zhuàng tài xià yòng hù dìng yì de tiáo jiàn de yǒu xiào xìng。

De Yī Zhuàng Yì Dìng Chū Tài 验证协议的程序，它从一个给定的初始状态机械地产生出一切可以到达的状态，并且审查每一状态下用户定义的条件的有效性