【摘 要】
:
随着计算机软硬件系统日益复杂,如何保证其正确性和可靠性成为学术界和工业界共同关注的问题。在诸多的系统分析和验证方法中,模型检测技术是近二十年来最成功的自动验证技术之
论文部分内容阅读
随着计算机软硬件系统日益复杂,如何保证其正确性和可靠性成为学术界和工业界共同关注的问题。在诸多的系统分析和验证方法中,模型检测技术是近二十年来最成功的自动验证技术之一。其因自动化程度高,效率高等优点而被广泛应用于有穷状态系统的分析与验证中。 并发进程之间通过传送消息实现协作。但现有的基于进程代数的模型检测工具都不能直接处理进程间的数据传送。本文介绍一个并发传值系统自动验证工具图形用户界面的实现,主要工作如下: ●使用Motif标准图形界面开发工具包实现工具的图形用户界面窗口。 ●给出函数式编程语言SML程序和C语言程序间的一种通信方案。并给出工具自动验证引擎与图形用户界面之间的通信方案以协同完成验证任务。 ●对模型检测反例状态迁移图的图形显示进行讨论,给出了以树状结构图的显示反例状态迁移图的方案 ●扩展工具分析系统的功能,实现系统仿真器。
其他文献
该论文所研究的内容"人工神经网络在矿产资源评价中的应用"是大地调项目"矿产资源评价新方法新模型"中的一个组成部分.该课题研究人工神经网络中的两个典型的模型——BP人工
该文结合作者参加的"1110工程"和国家高技术产业化示范工程项目"青鸟电子政务支撑平台",并通过具体负责包过滤防火墙、信息系统和网络系统的安全保护等级评估准则(国家标准)
CMM提出一个软件过程成熟度框架。在该框架中把软件企业分为5个成熟度级别。每个级别代表企业提高过程能力的发展阶段。CMM为每个级别指定关键过程域及其目标和关键实践。可
异构数据集成系统有两种具体实现方式,物化视图集成方式和虚拟视图集成方式.采用物化视图集成方式的集成系统能够避免代价昂贵的实时数据源查询,但是需要解决数据一致性维护
该文从OLAP的多维特性入手,重点研究将多维关联挖掘技术与OLAP技术相结合的方法,提出了基于多维数据模型的关联规则挖掘方法和约束条件;并在OLAP工具集CyberMagic的基础上,设
软件配置管理是能力成熟度模型的重要组成部分,实施配置管理是软件开发企业改进开发流程、提高软件质量同时对开发进程进行有效控制的一个重要手段.该文从软件配置管理的重要
该文对涉及多设计变量、多目标的网络设计问题进行了研究和探索,在借鉴演化算法中的各种技术,尤其是多目标优化技术的基础之上,提出了自己的算法.该算法的创新之处在于:1.充
该文的主要研究工作为:1)搜索引擎技术●总结了搜索引擎的技术类型Internet上拥有众多的搜索引擎,采用的技术也各具特色,但总的来看,根据它们所基于的技术原理,可以将其分为
嵌入式系统是当今计算机应用技术的一个重要的发展方向。基于嵌入式系统的电子设备在我们的生活中无处不在,应用相当广泛,拥有巨大的市场。 我们设计开发了PMC8241嵌入系统,
该文设计并实现了天木电脑刺绣打版系统中的字符绣模块、字符串自动编针模块和艺术字体模块等,其中主要的研究成果是:(1)字符绣模块分析了字体和字符的特点和属性,给出了一个从T