Current position: Lin Yao >> Scientific Research >> Research Projects

SMT分析软件

Hits:

Leading Scientist:吴国伟

Project Participants:Lin Yao

Supported by:企事业单位委托科技项目

Status:结题

Supported by:中国电子科技集团公司第十研究所

Nature of Project:横向

Date of Project Approval:2022-03-18

Scheduled completion time:2022-09-30

Date of Project Initiation:2022-03-01

Pre One:硬件描述语言静态分析功能开发

Next One:海量项目和漏洞数据爬取及数据集处理构建开发