Current position: Zhilei Ren >> Scientific Research >> Research Projects

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

Hits:

Leading Scientist:任志磊

Supported by:国家自然科学基金项目

Sub-Class of Project:重点项目

Status:在研

Supported by:国家自然科学基金委员会

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

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