Then it is in great need of the formal technique of automatic verification to solve these problems.
因此，系统需要一种能较好解决这些问题的自动规范验证技术。
Model checking based formal verification is a technique of this kind, and has been successful used in practice to verify complex sequential circuit designs and communication protocols.
基于模型检测的形式化方法就是这样一种技术，并已成功地在实践中应用于对复杂的时序线路设计和通信协议的正确性验证。
应用推荐