形式验证可以分为三大类：等价性检查（Equivalence Checking）、形式模型检查（Formal Model Checking）（也被称作特性检查）和定理证实(Theory Prover)。
基于24个网页-相关网页
同时，为使高层应用易于对模型进行有效性和一致性检查，采用超图数据结构形式化地定义了上述模型的概念模型。
Besides, in order to facilitate applications to check affectivity and consistency of this model, a formal concept model based on hyper-graph data structure is proposed.
协议正常运行状态模型的 建立包括协议形式化描述语法的检查和相关协议状态机的生成；
The foundation of a protocol normal running state model comprises the examination of a protocol formal description expression and the making of a correlation protocol state machine;
应用推荐