可决定性相关硕士博士期刊学术论文

在介绍混成系统和形式验证基本概念的基础上，重点介绍了模型检验和定理证明这两种混成系统的形式验证方法，对模型检验方法给出了一个......