In the procedures of PE, which include design, description (modeling), verification, performance analysis, implement, test and maintenance, protocol verification is one of the key procedures.

• 在设计、描述(建模)、验证、性能分析、实现、测试和维护等协议工程的各个环节中,协议验证是最为关键的一个环节。