基于交互式马尔可夫链的模型检验

• 作者: 吴尽昭 林连南 许翔 陈剑锋
• 来源期刊: 计算机应用
• 学科: 工学
• 关键词: 交互式马尔可夫链 模型检验 性能评价
• 年，卷（期）: 2008,（7）
• 所属期刊栏目: 典型应用
• 页码范围: 1868-1871
• 页数: 4页
• 分类号: TP301.2
• 字数: 4796字
• 语种: 中文

摘要

研究了基于交互式马尔可夫链(IMC)的模型检验,IMC是集功能描述和性能刻画为一体的并发系统模型,模型检验是一种自动功能验证与性能评价技术.文中提出的模型检验算法结合了传统的功能验证与性能评价的功能,并且与现有的算法相一致.实验分析表明,该算法具有较高的性能,适用于大型复杂系统的验证和评价.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴尽昭	中国科学院成都计算机应用研究所	23	81	4.0	8.0
2	陈剑锋	中国科学院成都计算机应用研究所	5	57	3.0	5.0
3	许翔	中国科学院成都计算机应用研究所	1	2	1.0	1.0
4	林连南	中国科学院成都计算机应用研究所	1	2	1.0	1.0