论文部分内容阅读
模型检测是一种能够自动验证有限状态并发系统技术。通过显式状态搜索来验证有限状态并发系统的模态与命题性质,当前已被广泛应用于计算机软硬件系统安全性能的检测。本文浅析了模型检测技术,分析了模型检测技术的发展概况、基本原理、算法、模型检测工具等,并介绍了模型检测领域的最新进展。
浅析模型检测技术
【摘 要】
：
模型检测是一种能够自动验证有限状态并发系统技术。通过显式状态搜索来验证有限状态并发系统的模态与命题性质,当前已被广泛应用于计算机软硬件系统安全性能的检测。本文浅
【机 构】
：
山东力创有限公司
【出 处】
：
信息技术与信息化
【发表日期】
：
2014年07期
其他文献
在当前经济下行压力巨大、经济复苏趋缓、投资竞争不断加剧的形势下,为缓解来自于各方面压力,各地吸引外来投资的愿望比以往更加迫切,相互间的竞争也更加激烈,投资促进工作成
本文通过文献资料法、问卷调查法、实验比较分析法,对高中足球模块选项教学中尝试开展分层差异教学的效果进行研究。结果表明,开展差异分层教学能有效提高高中足球模块选项学
以270名大学生为被试,对Amabile等人编制的学习动机量表进行修订以确定其对中国被试的适用性,此外还探讨了大学生学习动机与一般自我效能感及领域专门的自我效能感之间的关系
物联网作为我国战略性新兴产业的重要组成部分,正在进入深化应用的新阶段。物联网与传统产业、其它信息技术不断融合渗透,催生出新兴业态和新的应用在加快经济发展方式转变、
当前,课堂评价与外部评价的失衡现象引起了很多评价专家的关注,研究表明,促进学生的学习主要是通过课堂评价—而非外部考试——来实现的,多使用有效的课堂评价可以改善学习。
《妇女时报》作为辛亥革命前后出版时间最长的女性杂志,应受到女性史及报刊史研究的关注。本文从报刊与社会互动框架中,解析《妇女时报》对民初女性参政问题的媒介表述,意在
<正> 关于用在外动词和宾语之间的"于"字的词性问题,直至目前专门论述的文章尚少.贾则复先生《古汉语中有关"于"字的两个问题》一文对此作了较详细的论述,提出新的看法,认为
在中国经济与世界经济日益接轨的背景下,财经媒体迅速发展。2009年央视二套由"经济频道"改版为"财经频道",这其中的名称转换与传媒演进蕴意丰富。经济社会的发展、中等收入者
为了给通过施肥解决线辣椒连作障碍问题提供借鉴,于2005年在辣椒连作问题严重的陕西千阳县连续6 a(2000~2005年)种植线辣椒的田间,研究了施用钾肥、鸡粪、抗重茬剂对线辣椒品
2007年,新课程改革开始在黑龙江省实行,伊春市友好三中走在新课程改革的前列,在全校师生的努力下,总结出一套符合新课程理念的历史课堂教学模式,即有效课堂教学。作为有效课