模型检测技术是形式验证方法中的一种。
传统的验证手段难以排除所有的设计错误，人们转而求助于各种形式验证方法来保证设计在各种可能输入组合下的正确性。
The traditional verification method can't eliminate all the design error. Therefore, many people tum to various formal verification methods to grantee the correctness of the design under any inputs.
构造函数方法从验证数据形式是否适合于处理开始。
The constructor method begins by verifying that the data is in a form suitable for processing.
应用推荐