分析树证明定理及面向结构化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
WMTL-代数中的蕴涵滤子及其应用
WMTL-代数中的蕴涵滤子及其应用
DOI：10.11897/SP.J.1016.2018.00886
发表时间：2018
2
一类随机泛函微分方程带随机步长的EM逼近的渐近稳定
一类随机泛函微分方程带随机步长的EM逼近的渐近稳定
DOI：10.21656/1000-0887.390057
发表时间：2019
3
A Fast Algorithm for Computing Dominance Classes
A Fast Algorithm for Computing Dominance Classes
DOI：
发表时间：2016
4
工期-费用权衡问题的两个不确定机会约束规划模型
工期-费用权衡问题的两个不确定机会约束规划模型
DOI：
发表时间：2020
5
分数阶时滞基因调控网络一致稳定性分析
分数阶时滞基因调控网络一致稳定性分析
DOI：
发表时间：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
项目类别：面上项目