论文部分内容阅读
本文结合作者课题内容，介绍了一种运行时验证技术中的监控器构造方法。该方法完整涵盖了从性质规约到监控器模型再到监控程序的全过程，过程中使用了相关开源的第三方软件使得该方法的自动化程度较高。同时由于该监控器的构造是基于三值语义，使得该监控器在一定意义上具有预测性。
一种运行时验证监控器的构造方法
【摘 要】
：
本文结合作者课题内容，介绍了一种运行时验证技术中的监控器构造方法。该方法完整涵盖了从性质规约到监控器模型再到监控程序的全过程，过程中使用了相关开源的第三方软件使得该
【机 构】
：
国防科学技术大学计算机学院
【出 处】
：
计算机光盘软件与应用
【发表日期】
：
2012年20期
其他文献
本文从古代山水画与古典园林的审美密切相关切入,试分析自＂经营位置＂这一绘画思想提出后,文人画家在造园理念上,特别是意境营造上深受这一绘画思想影响,而且中国古代山水画＂经营
本刊讯3月14日,吉林省农委12316热线专家组组长梁琦,吉林省联通公司农委12316热线项目组组长刘哲一行应邀到省12320管理中心开展业务交流学习活动。省12320管理中心主任张启
伴随着网络技术的快速发展，计算机在各个领域中的应用也越来越广泛，有关计算机的安全问题也日益引起人们的善乎。本妻主要竹謇掌前档案篁理信息系统保护中的问题，以期有助于维护
视频会议系统颠覆了传统的会议模式，为社会经济领域带来了重要的变革。近几年，计算机技术和网络技术不断变革，视频会议的应用范围开始逐渐扩大，开始从高端向一般的普通用户发展，本
本文首先对工作流挖掘的相关知识做了介绍，然后对国内外工作流挖掘当前研究进展以及已有成果做了总结，简要介绍了几种有代表性的过程挖掘算法。最后展望了工作流挖掘领域目前存
近年来，随着社会经济的高度发展，我国人民文化层次的逐渐层高，计算机达到了高度普及的状态，计算机通讯网络俨然已成为人们生活、学习、工作的重要工具。随着计算机通讯网络的广泛
本刊讯近日,公安部下发通知,通过对各省人口基本资源库数据综合评定,确定全国首批符合条件的74个市(州)的人口信息与公安部实时对接。截止5月12日,我省9个市(州)全部成为首批
健康报消息从吉林省卫生计生委获悉,在4个试点县级公立医院改革取得初步成果的基础上,今年,吉林省将扩大县级公立医院改革试点范围,总结试点县的改革经验,在21个试点县(市)启
随着计算机技术在各个企业中的广泛应用，网络安全问题已越来越被大家所重视。防火墙是保证网络安全中的一道屏障，是安全网络的一个组成部分。探讨油田企业中的网络安全，分析当中