分析树证明定理及面向结构化XYZ语言的程序验证
基本信息
批准号：68903003
项目类别：青年科学基金项目
资助金额：3.00
负责人：张文辉
学科分类：
依托单位：中国科学院软件研究所
批准年份：1989
结题年份：1992
起止时间：1990-01-01 - 1992-12-31
项目状态： 已结题
项目参与者：谢洪亮,王杉,蔡晓莉
关键词：
逻辑推理定理证明程序验证
结项摘要
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
分数阶微分方程奇异系统边值问题正解的存在性
分数阶微分方程奇异系统边值问题正解的存在性
DOI：10.13718/j.cnki.xdzk.2019.04.015
发表时间：2019
2
Ordinal space projection learning via neighbor classes representation
Ordinal space projection learning via neighbor classes representation
DOI：https://doi.org/10.1016/j.cviu.2018.06.003
发表时间：2018
3
基于纳米铝颗粒改性合成稳定的JP-10基纳米流体燃料
基于纳米铝颗粒改性合成稳定的JP-10基纳米流体燃料
DOI：
发表时间：2021
4
基于镜像映射原理的LNG液舱压力维持系统${H_infty }$优化控制
基于镜像映射原理的LNG液舱压力维持系统${H_infty }$优化控制
DOI：10.13195/j.kzyjc.2018.0662
发表时间：2020
5
带有积分边值条件的分数阶微分包含解的存在性
带有积分边值条件的分数阶微分包含解的存在性
DOI：10.11845/sxjz.2019088b
发表时间：2020
张文辉的其他基金
批准号：61672504
批准年份：2016
资助金额：63.00
项目类别：面上项目
批准号：50272028
批准年份：2002
资助金额：22.00
项目类别：面上项目
批准号：41701361
批准年份：2017
资助金额：26.00
项目类别：青年科学基金项目
批准号：61272135
批准年份：2012
资助金额：82.00
项目类别：面上项目
批准号：30740059
批准年份：2007
资助金额：10.00
项目类别：专项基金项目
批准号：30872018
批准年份：2008
资助金额：31.00
项目类别：面上项目
批准号：60573012
批准年份：2005
资助金额：21.00
项目类别：面上项目
批准号：59872013
批准年份：1998
资助金额：13.00
项目类别：面上项目
相似国自然基金
1
面向程序验证的自动定理证明理论、方法与工具研究
批准号：61732001
批准年份：2017
负责人：夏壁灿
学科分类：F0201
资助金额：270.00
项目类别：重点项目
2
基于定理证明的多核并行程序验证
批准号：61202038
批准年份：2012
负责人：张南
学科分类：F0201
资助金额：24.00
项目类别：青年科学基金项目
3
面向携带证明软件设计的语言、逻辑和证明
批准号：90718026
批准年份：2007
负责人：陈意云
学科分类：F0201
资助金额：50.00
项目类别：重大研究计划
4
面向定理证明的计算机并行算法
批准号：69373007
批准年份：1993
负责人：王攻本
学科分类：F0201
资助金额：6.00
项目类别：面上项目