并发实时系统的自动验证
基本信息
批准号：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
基于分形L系统的水稻根系建模方法研究
基于分形L系统的水稻根系建模方法研究
DOI：10.13836/j.jjau.2020047
发表时间：2020
2
粗颗粒土的静止土压力系数非线性分析与计算方法
粗颗粒土的静止土压力系数非线性分析与计算方法
DOI：10.16285/j.rsm.2019.1280
发表时间：2019
3
拥堵路网交通流均衡分配模型
拥堵路网交通流均衡分配模型
DOI：10.11918/j.issn.0367-6234.201804030
发表时间：2019
4
中国参与全球价值链的环境效应分析
中国参与全球价值链的环境效应分析
DOI：10.12062/cpre.20181019
发表时间：2019
5
卫生系统韧性研究概况及其展望
卫生系统韧性研究概况及其展望
DOI：10.16506/j.1009-6639.2018.11.016
发表时间：2018
陈火旺的其他基金
批准号：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
项目类别：重点项目