混成系统的形式验证

摘要：

在介绍混成系统和形式验证基本概念的基础上,重点介绍了模型检验和定理证明这两种混成系统的形式验证方法,对模型检验方法给出了一个具体的可达性算法步骤与验证实例,对定理证明方法分析了其证明的过程与存在的困难.最后总结了混成系统研究的现状,存在的问题和进一步研究的方向.

关键词：混成系统、形式验证、可达性、可决定性

所属期刊栏目：7

分类号：TP311(计算技术、计算机技术)

在线出版日期：2008-05-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：51-55