【摘 要】
：
运行时验证是一种轻量级的新型自动化验证技术。运用了该技术的验证软件由两部分组成:一部分是被监控的目标程序;另一部分是监控器。对于基于形式化语言的运行时验证方法主要
【机 构】
：
南京航空航天大学计算机科学与技术学院
【基金项目】
：
江苏省普通高校研究生科研创新计划项目(SJZZ16_0062)
论文部分内容阅读
运行时验证是一种轻量级的新型自动化验证技术。运用了该技术的验证软件由两部分组成:一部分是被监控的目标程序;另一部分是监控器。对于基于形式化语言的运行时验证方法主要思想就是输入表示描述事件和性质的形式化规约语法,目标程序。输出插桩好的新程序。插桩好的新程序在遇到需要监控的切点时,就会执行相应的函数去判断是否满足形式化规约语法。然而传统的单线程运行时验证监控器在目标程序需要监控的规约性质比较多的时候,重新生成的程序可能会因为要验证比较多的规约性质,造成程序的性能变慢。文中利用多核并行技术,对原型工具Movec
其他文献
短时交通流量预测为智能交通系统(ITS)的研究方向之一。现有相关研究中所提及的基于深度学习的方法,需要较高的计算复杂度或模型的回归预测能力存在一定的不足。因此,提出一
在信息化经济的今天,随着科技的迅速发展,传统产业的运营模式受到了极大的挑战。基于“互联网+”对产业升级高度化和效率化指标进行测算,探讨辽宁省装备制造业现阶段的发展状
针对钻孔混凝土灌注桩施工过程中,各道工序的质量控制,质量管理的加强以及如何提高钻孔灌注桩的施工水平,为了确保成桩质量和桩基工程的安全提供了理论依据。
目的探讨与分析在慢性酒精中毒脑病患者中醒脑静+维生素B1的治疗效果。方法此次抽选2016年3月-2018年12月期间我院医治的48例慢性酒精中毒脑病患者做研究,随机分为对照组(24
大庆油田的首次喷油通过多次调查、踏勘，大庆油田在祖国10岁生日之际喷油了!由于大庆油田的开发，到1965年，中国实现了石油产品的伞部自给，大庆油田为国家做出了巨大的贡献。胜利
地质灾害的日益严重和对突发性地质灾害抢灾救灾工作的时效性要求,应用遥感技术开展地质灾害调查是极其必要的,是当代高新技术发展的必然趋势。遥感技术特点及其它相关高新技术的高速发展,已使地质灾害遥感调查成为可能。用遥感技术开展地质灾害调查具有广阔的前景。