面向携带证明软件设计的语言、逻辑和证明
基本信息
批准号：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.1051/jnwpu/20213920292
发表时间：2021
2
二叠纪末生物大灭绝后Skolithos遗迹化石的古环境意义:以豫西和尚沟组为例
二叠纪末生物大灭绝后Skolithos遗迹化石的古环境意义:以豫西和尚沟组为例
DOI：10.7605/gdlxb.2022.03.033
发表时间：2022
3
出租车新运营模式下的LED广告精准投放策略
出租车新运营模式下的LED广告精准投放策略
DOI：10.16381/j.cnki.issn1003-207x.2020.10.022
发表时间：2020
4
Fe-Si合金在600℃不同气氛中的腐蚀
Fe-Si合金在600℃不同气氛中的腐蚀
DOI：DOI: 10.11902/1005.4537.2013.169
发表时间：2014
5
综述:基于轨道角动量光子态的高维量子密钥分发
综述:基于轨道角动量光子态的高维量子密钥分发
DOI：10.3969/j.issn.1007-5461.2022.01.004
发表时间：2022
陈意云的其他基金
批准号：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
项目类别：面上项目