Formal Model Checking的意思|示意
美 / /
英 / /
形式模型检验
Formal Model Checking的网络常见释义
形式模型检查 形式验证可以分为三大类：等价性检查（Equivalence Checking）、形式模型检查（Formal Model Checking）（也被称作特性检查）和定理证实(Theory Prover)。