面向携带证明软件设计的语言、逻辑和证明
基本信息
批准号：90718026
项目类别：重大研究计划
资助金额：50.00
负责人：陈意云
学科分类：
依托单位：中国科学技术大学
批准年份：2007
结题年份：2010
起止时间：2008-01-01 - 2010-12-01
项目状态： 已结题
项目参与者：邵中,郭宇,李新,李勇,王振明,王志芳,王伟,蒋信予,王僖
关键词：
出具证明编程语言携带证明的代码高可信软件形式程序验证
结项摘要
在当今信息社会，安全攸关软件的高可信成了保障国家安全、保持经济可持续发展和维护社会稳定的必要条件。.本项目研究如何有效地集成形式程序验证和领域专用语言这两种软件技术，形成提高编写健壮软件生产力和提高对它们正确性和安全性信任程度的软件开发新方法，并构建基于此方法的开发携带证明大型系统软件的基础结构。.本项目具体研究以领域专用语言（DSL）为中心的开发携带证明程序的开放框架,研究支持DSL开发的统称为
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
小跨高比钢板- 混凝土组合连梁抗剪承载力计算方法研究
小跨高比钢板- 混凝土组合连梁抗剪承载力计算方法研究
DOI：10.19701/j.jzjg.2015.15.012
发表时间：2015
2
变可信度近似模型及其在复杂装备优化设计中的应用研究进展
变可信度近似模型及其在复杂装备优化设计中的应用研究进展
DOI：10.3901/jme.2020.24.219
发表时间：2020
3
基于LBS的移动定向优惠券策略
基于LBS的移动定向优惠券策略
DOI：10.3969/j.issn.1005-2542.2020.02.009
发表时间：2020
4
肝癌多学科协作组在本科生临床见习阶段的教学作用及问题
肝癌多学科协作组在本科生临床见习阶段的教学作用及问题
DOI：10.3969/j.issn.1008-794X.2018.07.019
发表时间：2018
5
采煤工作面"爆注"一体化防突理论与技术
采煤工作面"爆注"一体化防突理论与技术
DOI：10.13247/j.cnki.jcumt.001297
发表时间：2021
陈意云的其他基金
批准号：60473068
批准年份：2004
资助金额：5.00
项目类别：面上项目
批准号：60673126
批准年份：2006
资助金额：25.00
项目类别：面上项目
批准号：61170018
批准年份：2011
资助金额：56.00
项目类别：面上项目
批准号：69773025
批准年份：1997
资助金额：10.00
项目类别：面上项目
批准号：60173049
批准年份：2001
资助金额：18.00
项目类别：面上项目
批准号：69373016
批准年份：1993
资助金额：5.00
项目类别：面上项目
批准号：69173315
批准年份：1991
资助金额：3.00
项目类别：面上项目
相似国自然基金
1
高阶逻辑定理证明技术
批准号：69673007
批准年份：1996
负责人：陆汝占
学科分类：F0201
资助金额：6.00
项目类别：面上项目
2
分析树证明定理及面向结构化XYZ语言的程序验证
批准号：68903003
批准年份：1989
负责人：张文辉
学科分类：F0203
资助金额：3.00
项目类别：青年科学基金项目
3
模糊逻辑形式系统的构造、判定及定理证明算法研究
批准号：60663002
批准年份：2006
负责人：王三民
学科分类：F0201
资助金额：7.00
项目类别：地区科学基金项目
4
非可换逻辑证明论与模糊推理算法研究
批准号：61273018
批准年份：2012
负责人：罗敏霞
学科分类：F0601
资助金额：60.00
项目类别：面上项目