面向性质的可信软件建模与时序性质验证及支持工具
基本信息
批准号：90718017
项目类别：重大研究计划
资助金额：50.00
负责人：李舟军
学科分类：
依托单位：北京航空航天大学
批准年份：2007
结题年份：2010
起止时间：2008-01-01 - 2010-12-01
项目状态： 已结题
项目参与者：李梦君,林松,忽朝俭,张帆,郭华,贾仰理,陈石坤,邢建英,周倜
关键词：
面向性质验证抽象解释可信软件时序性质
结项摘要
面向性质的可信软件建模与时序性质验证及支持工具具有重要的研究价值。本课题以抽象解释理论中的逼近计算作为抽象复杂计算的理论工具，结合软件测试和软件验证方法中的路径条件、偏序消减、符号化执行、约束求解、惰性计算等多种技术，以验证可信软件的时序性质作为主要研究内容，需要解决的理论问题有：可信软件面向性质的高精度程序切片方法，可信软件面向验证性质的抽象迁移模型构造，基于反例制导的抽象精化迭代验证框架的可信
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
生物炭用量对东北黑土理化性质和溶解有机质特性的影响
生物炭用量对东北黑土理化性质和溶解有机质特性的影响
DOI：10.19336/j.cnki.trtb.2020112601
发表时间：2021
2
变可信度近似模型及其在复杂装备优化设计中的应用研究进展
变可信度近似模型及其在复杂装备优化设计中的应用研究进展
DOI：10.3901/jme.2020.24.219
发表时间：2020
3
瞬态波位移场计算方法在相控阵声场模拟中的实验验证
瞬态波位移场计算方法在相控阵声场模拟中的实验验证
DOI：
发表时间：2020
4
环境信息披露会影响分析师盈余预测吗?
环境信息披露会影响分析师盈余预测吗?
DOI：
发表时间：2017
5
基于关系对齐的汉语虚词抽象语义表示与分析
基于关系对齐的汉语虚词抽象语义表示与分析
DOI：
发表时间：2020
李舟军的其他基金
批准号：61370126
批准年份：2013
资助金额：78.00
项目类别：面上项目
批准号：60473057
批准年份：2004
资助金额：23.00
项目类别：面上项目
批准号：60973105
批准年份：2009
资助金额：29.00
项目类别：面上项目
批准号：60073001
批准年份：2000
资助金额：14.00
项目类别：面上项目
批准号：61672081
批准年份：2016
资助金额：63.00
项目类别：面上项目
批准号：61170189
批准年份：2011
资助金额：58.00
项目类别：面上项目
相似国自然基金
1
大规模软件基于抽象解释理论的时序性质验证及支持工具
批准号：60703075
批准年份：2007
负责人：李梦君
学科分类：F0202
资助金额：18.00
项目类别：青年科学基金项目
2
基于攻击模式的可信软件的建模、度量与验证
批准号：90718023
批准年份：2007
负责人：李晓红
学科分类：F0203
资助金额：50.00
项目类别：重大研究计划
3
大规模软件验证若干关键技术研究及支持工具
批准号：61672525
批准年份：2016
负责人：李梦君
学科分类：F0201
资助金额：62.00
项目类别：面上项目
4
高可信嵌入式软件建模与验证方法的研究
批准号：61572253
批准年份：2015
负责人：庄毅
学科分类：F0203
资助金额：64.00
项目类别：面上项目