论文部分内容阅读
研究了基于交互式马尔可夫链(IMC)的模型检验,IMC是集功能描述和性能刻画为一体的并发系统模型,模型检验是一种自动功能验证与性能评价技术。文中提出的模型检验算法结合了传统的功能验证与性能评价的功能,并且与现有的算法相一致。实验分析表明,该算法具有较高的性能,适用于大型复杂系统的验证和评价。
基于交互式马尔可夫链的模型检验
【摘 要】
：
研究了基于交互式马尔可夫链(IMC)的模型检验,IMC是集功能描述和性能刻画为一体的并发系统模型,模型检验是一种自动功能验证与性能评价技术。文中提出的模型检验算法结合了传统的功能验证与性能评价的功能,并且与现有的算法相一致。实验分析表明,该算法具有较高的性能,适用于大型复杂系统的验证和评价。
【机 构】
：
中国科学院成都计算机应用研究所
【出 处】
：
计算机应用
【发表日期】
：
2008年07期
其他文献
绘本是早期阅读的重要读物,其中的性别观念对儿童性别意识、性别行为的形成具有重要影响。文章通过对“男孩必读”“女孩必读”绘本进行分析,探究了当前我国早期阅读推广中存
目的研究CFS悬吊术治疗中重度上睑下垂临床应用效果,为患者的临床治疗提供指导。方法回顾性分析2015年1月至2018年6月在本院进行治疗中重度上睑下垂患者。根据手术方法的差异