Hits:

Project Name:Research on Verification of Pointer Programs based on Spatio-Temporal Reasoning

Institution:Xidian University

Teaching and Research Group:ICTT and ISN Lab

Leading Scientist:Luxury

Status:under study

Type of Research Outcome:Thesis

Classification of Project:China Postdoctoral Science Foundation

Sub-Class of Project:Research projects

Nature of Project:Fundamental research

Project Source:中国博士后科学基金

Project Level:National

Project Number:2018M643585

Discipline:Engineering

First-Level Discipline:Computer Science and Technology

Date of Project Approval:2018-11-20

Scheduled Completion Time:2020-12-31

Date of Project Completion:2020-12-31

Date of Project Initiation:2019-01-01

Project Approval Number:2018M643585

Date:2019-01-22