模型检测技术研究综述

• 作者: 化希耀 苏博妮 陈立平 高贤强
• 来源期刊: 塔里木大学学报
• 学科: 工学
• 关键词: 模型检测 形式化验证 状态爆炸 状态约简 研究进展
• 年，卷（期）: 2013,（4）
• 所属期刊栏目: 综述
• 页码范围: 119-124
• 页数: 6页
• 分类号: TP311.1
• 字数: 5053字
• 语种: 中文
• DOI: 10.3969/j.issn.1009-0568.2013.04.022

摘要

从模型检测技术的研究背景入手,首先阐述了模型检测技术的基本原理和过程.然后介绍了制约模型检测技术发展的状态爆炸问题和一些状态约简技术,包括符号模型检测、on-the-fly技术、偏序归约和抽象技术,并对SPIN、NuSMV、UP-PAAL和PAT等模型检测工具进行了介绍和比较.最后总结了模型检测技术在新的应用领域、工具研制、算法研究和与其它技术相结合等几个方面的研究进展.可为今后进一步对并发和实时系统进行建模、仿真和验证提供借鉴和参考.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	化希耀	塔里木大学信息工程学院	21	58	5.0	6.0
2	陈立平	塔里木大学信息工程学院	20	71	5.0	6.0
3	高贤强	塔里木大学信息工程学院	38	82	4.0	7.0
4	苏博妮	上海海事大学信息工程学院	2	14	2.0	2.0