Current position: Home >> Scientific Research >> Research Projects

Linux内核相关通用基础软件包分析:内核驱动代码缺陷检测工具功能及性能测试

Release Time:2019-03-21  Hits:

Leading Scientist: 吴国伟

Project Participants: 姚琳,林驰

Project Source: 企事业单位委托科技项目

Status: 结题

Supported by: Institute of Software, Chinese Academy of Sciences

Nature of Project: 横向

Date of Project Approval: 2015-12-22

Scheduled Completion Time: 2016-12-21

Date of Project Initiation: 2015-12-22

Date of Project Completion: 2020-06-30

Prev One:众核片上混合关键系统安全高效资源管理研究

Next One:信息物理融合系统软件可信性验证方法研究