程序语义

作品数：25被引量：24H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：张晓东郑庆华刘沛刘烃宫云战更多>>
相关机构：南京航空航天大学中国科学院软件研究所青岛大学北京邮电大学更多>>
相关期刊：《计算机学报》《青岛大学学报（自然科学版）》《兰州大学学报（自然科学版）》《信息工程大学学报》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划中央高校基本科研业务费专项资金教育部留学回国人员科研启动基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机研究与发展x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
抽象解释及其应用研究进展
《计算机研究与发展》2023年第2期227-247,共21页陈立前 范广生 尹帮虎 王戟 
国家重点研发计划项目(2022YFA1005101);国家自然科学基金项目(61872445,62032024,62102432);湖南省自然科学基金项目(2021JJ40697)。
抽象解释是一种对用于形式描述复杂系统行为的数学结构进行抽象和近似并推导或验证其性质的理论.抽象解释自20世纪70年代提出以来,在语义模型、程序分析验证、混成系统验证、程序转换、系统生物学模型分析等领域取得了广泛应用.近年来,...
关键词：抽象解释 程序语义 程序分析 形式验证 抽象域 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部