位置：立项数据库 > 立项详情页
　高安全等级操作系统设计验证的关键技术
  • 项目名称：　高安全等级操作系统设计验证的关键技术
  • 批准号：2006AA01Z429
  • 项目来源：“十一五”国家高技术研究发展计划（863计划）信息技术领域2006年度专题课题
  • 研究期限：2006-11-
  • 项目负责人：王戟
  • 依托单位：中国人民解放军国防科学技术大学
  • 批准年度：2006
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 6
  • 0
  • 0
  • 0
  • 0
期刊论文
并发反应式系统的组合模型检验与组合精化检验
线性μ-演算交换深度的可判定性及其复杂度
ETL的符号化模型检验
Demand-Driven Memory Leak Detection Based on Flow- and Context-Sensitive Pointer Analysis
基于Assume—Guarantee搜索复用的C程序验证方法
一种软件部署冲突检测及其自动调整算法
王戟的项目
可信信息物理融合软件的分析与验证
期刊论文 3
网络计算环境的程序设计理论及关键技术
期刊论文 10
软件工程学
期刊论文 25 会议论文 10
第1届CUE会议
混成系统设计演算
第19届软件工程自动化国际会议
"第10届高质量软件国际会议"国际合作交流
实时系统的软件可靠性测试与验证
期刊论文 55 会议论文 52 获奖 1 著作 2
实时容错协议的形式化技术
期刊论文 5
面向UML的形式化测试技术