并发实时系统的自动验证
基本信息
批准号：69873045
项目类别：面上项目
资助金额：14.00
负责人：陈火旺
学科分类：
依托单位：中国人民解放军国防科技大学
批准年份：1998
结题年份：2001
起止时间：1999-01-01 - 2001-12-31
项目状态： 已结题
项目参与者：陈火旺,毛晓光,王兵山,李舟军,谭庆平,罗铁庚,谢冰,毛新军,胡成军
关键词：
模型检验形式验证并发实时系统
结项摘要
模型检验是形式检验的一个重要方向.研究并发实时系统的模型检验技术对于提高安全攸关的应用软件的可靠性具有重要意义.本项目研究内容包括:有穷状态系统模型检验的高效算法,无穷状态系统的模型检验,概率系统模型检验和基于模型检验的并发实时软件形式验证方法学,以及建立相应的支持工具.
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
EBPR工艺运行效果的主要影响因素及研究现状
EBPR工艺运行效果的主要影响因素及研究现状
DOI：10.16796/j.cnki.1000-3770.2022.03.003
发表时间：2022
2
一种基于多层设计空间缩减策略的近似高维优化方法
一种基于多层设计空间缩减策略的近似高维优化方法
DOI：10.1051/jnwpu/20213920292
发表时间：2021
3
复杂系统科学研究进展
复杂系统科学研究进展
DOI：10.12202/j.0476-0301.2022178
发表时间：2022
4
二维FM系统的同时故障检测与控制
二维FM系统的同时故障检测与控制
DOI：10.16383/j.aas.c180673
发表时间：2021
5
扶贫资源输入对贫困地区分配公平的影响
扶贫资源输入对贫困地区分配公平的影响
DOI：
发表时间：2020
陈火旺的其他基金
批准号：69583002
批准年份：1995
资助金额：14.00
项目类别：专项基金项目
批准号：69173340
批准年份：1991
资助金额：3.50
项目类别：面上项目
批准号：68673041
批准年份：1986
资助金额：2.00
项目类别：面上项目
批准号：90104026
批准年份：2001
资助金额：30.00
项目类别：重大研究计划
相似国自然基金
1
大规模概率并发实时系统模型检验
批准号：61532019
批准年份：2015
负责人：张立军
学科分类：F0201
资助金额：285.00
项目类别：重点项目
2
基于ASP的并发系统CSP模型验证研究
批准号：61262008
批准年份：2012
负责人：赵岭忠
学科分类：F0203
资助金额：46.00
项目类别：地区科学基金项目
3
基于下推网络的实时并发程序可达性分析及增量式验证
批准号：61562015
批准年份：2015
负责人：钱俊彦
学科分类：F0201
资助金额：40.00
项目类别：地区科学基金项目
4
传值并发系统的语义模型与验证工具
批准号：69833020
批准年份：1998
负责人：林惠民
学科分类：F0201
资助金额：70.00
项目类别：重点项目