面向形式化验证的可信编译和程序分析

Release Time:2022-10-27  Hits:

Leading Scientist: 任志磊

Project Source: 国家自然科学基金项目

Sub-Class of Project: 重点项目

Status: 在研

Supported by: National Natural Science Foundation of China

Nature of Project: 纵向

Project Approval Number: 62132020

Date of Project Approval: 2021-10-12

Scheduled Completion Time: 2026-12-31

Date of Project Initiation: 2022-01-01

Prev One:面向垂直领域的软件工程大模型关键技术研发及应用

Next One:单元测试自动生成技术