云南高校图书馆联盟文献共享服务平台- 张硕

张硕: 作品数：1被引量：6H指数：1; 导出分析报告; 供职机构：清华大学软件学院更多>>; 发文主题：形式化方法更多>>; 发文领域：自动化与计算机技术更多>>; 发文期刊：《计算机科学》更多>>; 所获基金：清华大学自主科研计划国家自然科学基金北京市属高等学校高层次人才引进与培养计划国家重点基础研究发展计划更多>>

检索结果分析

共条记录，以下是1-1

全选清除导出

视图：

排序：

运行时验证技术的研究进展被引量：6: 《计算机科学》2014年第B11期359-363,共5页张硕贺飞; 973项目(2010CB328003);国家自然科学基金项目(60903030;61272001;91218302);国家科技支撑计划(SQ2012BAJY4052);清华大学自主科研计划;北京市属高等学校高层次人才引进与培养计划项目(YETP0167)资助; 运行时验证是一种轻量级的验证方法,通过实时地监测系统的行为,验证系统的正确性,及时发现冲突,并发出警告或作出反应。运行时验证技术已经得到了越来越多的应用,以确保软件系统的正确性。总结了近年来运行时验证技术的研究进展,首先介...; 关键词：运行时验证运行时监控软件正确性形式化方法