【摘 要】
：
针对软件开发中的一种软件验证技术———形式化验证技术进行研究,分析这种方法的原理和应用情况,并使用一个实例来说明这种方法在基于模型的软件开发中的使用方式,由这个过
【机 构】
：
中国商用飞机有限责任公司,上海飞机设计研究院综合航电部
论文部分内容阅读
针对软件开发中的一种软件验证技术———形式化验证技术进行研究,分析这种方法的原理和应用情况,并使用一个实例来说明这种方法在基于模型的软件开发中的使用方式,由这个过程可以看出,这种基于模型的形式化验证技术对于传统的软件验证方法来说是个有力的补充,对于一些高安全性的软件来说使用这种验证方式能有效提高软件的可靠性。
其他文献
随着数字电影技术的进步，先进的数字电影母版制作技术在国外已经得到广泛的应用。我国数字电影母版制作已经有比较长的时间，目前母版制作技术水平与国外还存在一定的差距。本文
自从政府放开出租车承包费标准,出租车企业如何科学、有效、公平地制定承包费标准成为难题。本文以出租车企业与司机共同分担运营风险为目标,提出了依据运营收入、燃料费和司
在新的形势下,事业单位财务预算管理也面临了新的要求,在这种情况下,事业单位应做出相应的改革,尤其要加强财务预算方面的管理力度,否则将会导致事业单位收支失衡,影响事业单
党的十八大报告提出“全面推进各领域基层党建工作，扩大党组织和党的工作覆盖面，充分发挥推动发展、服务群众、凝聚人心、促进和谐的作用”，这是党中央应对世情、国情、党情的新
<正>临近春节,南昌当地众多厂家都在把握节点批发出货,将市场气氛推向一个新高潮。动漫类玩具成为1月补货的热点,其中灵动推出的"帮帮龙出动"系列玩具以恐龙为外观形象,产品
近年来,电子商务高速发展,网络零售、批发等贸易不断增强。与实体经营区别很大的就是,电子商务需要物流支撑。为提升物流效率和服务质量,高效辅助企业经营,物流公司也不断加
这些年由于环境的破坏、全球气温升高等问题日益严重,所以人们越来越重视生态和生活环境,所以园林景观的建设就显得非常重要。园林景观不仅仅是有绿化的功能,也起到了美化的
角度测量是计量学的一个重要组成部分。微小转角测量在现代工程测量中具有很重要的位置,虽然技术已经逐渐成熟,但是测量的准确度仍有待提高。最早出现的是机械式测量法和电磁
应用型人才已跃升为我国新时代的主要需求人才,培养应用型人才是新时代赋予的新使命,应用型人才培养的质量是我国经济成功转型升级的重要保障。实践教学是培养应用型人才的重
本文通过建立电感耦合等离子体原子发射光谱法（ICP-AES）测定高纯硝酸中的金属离子,采用标准曲线法定量分析高纯硝酸中Na、K,Ca、Mg、Al、Mn,Zn,As、Cd、Cr、Pb、Hg、Cu、Fe和Ni