【摘 要】
：
模型检查是一种重要的自动验证技术,是通过显式的状态搜索和隐式不动点计算来验证并行系统的性质,以保证设计的正确性.该文主要研究了并行系统的模型检查验证技术.并且通过对
论文部分内容阅读
模型检查是一种重要的自动验证技术,是通过显式的状态搜索和隐式不动点计算来验证并行系统的性质,以保证设计的正确性.该文主要研究了并行系统的模型检查验证技术.并且通过对定理证明和模型检查两种技术进行分析、比较,探讨了把这两种技术在一个统一的框架下进行结合的可能性.该文所作的主要工作有:1.研究了一个常用的组合验证方法,并且进行了改进.2.提出了一个分层的结合定理证明和模型检查技术的验证框架.3.对一个实际的卫星定位系统,抽象出其基于自动机的系统模型和基于ICTL的特性描述,借助辅助验证工具Hytech对其进行了参数分析.
其他文献
PDM是继CAD之后，国家在制造业企业重点推广的一项新技术。它是管理所有与产品相关信息和所有与产品相关过程的技术，是现代化先进制造技术的重要组成部分。企业推广PDM技术，需要
通过互联网,恶意软件迅速传播,数量急剧增加,新出现的恶意软件大多是以前出现过的恶意软件的变种,恶意软件的变种识别成为了识别恶意软件、保护计算机系统安全等相关工作的重
该文首先探讨了软件过程的背景及其发展和现状.接着对软件过程建模进行深入研究,在此基础上,提出并设计了基于Petri网的可视化过程建模语言PBVPML(Petri-Based Visual Proces
信息技术的出现和快速发展使得Web成为了人们发布和获取信息的主要平台和渠道。特别是Web2.0出现以来,诞生了各类互联网应用,Web页面急剧增长,海量的Web数据中包含了大量有价
在现代运输中，集装箱是一种不可缺少的运输工具。有研究指出，集装箱利用率仅为75％～～82％。在运费如此昂贵的情形下，研究一种优化的集装箱装箱方案尤为重要。本文的研究也是远洋、铁路
该文研究了人的常识能力中的理性特点,主要内容包括:1、总结了认知科学中对理性的研究,包括对人类理性和一般理性的研究.我们还对目前人工智能中Agent理性的研究进行了分析.2
随着软件工程的发展,对软件体系结构的研究越来越引起人们的重视.近年来,电子商务在世界范围内迅速发展,研究电子商务系统的体系结构对电子商务系统的开发工作有着非常重要的
该文的主要工作包括:1、查阅了大量国内外有关数据仓库和数据挖掘技术的相关资料.2、对现今流行的数据挖掘工具进行了比较研究.3、对相关的统计分析方法进行了学习和研究.4、
该文在分析数据挖掘、联机分析的主要技术、应用状况、研究热点的基础上,提出了将联机分析和数据挖掘有机结合起来的体系结构--联机分析挖掘.首先针对具体应用数据的特点以及
作者参与并长期主持了北京工业大学和北京灵思系统公司合作的基于Linux的嵌入式浏览器项目的开发.目前我们的嵌入式浏览器产品openEye已应用到灵思公司的机顶盒和Windwos终端