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

Research on Verification of Pointer Programs based on Spatio-Temporal Reasoning

Hits:

Affiliation of Participant(s):Xidian University

Teaching and Research Group:ICTT and ISN Lab

Leading Scientist:Luxury

Status:under study

Supported by:中国博士后基金会

Type of Research Outcome:Thesis

Classification of Project:China Postdoctoral Science Foundation

Sub-Class of Project:Research projects

Type of Project:基础研究

Nature of Project:Fundamental research

Supported by:中国博士后科学基金

Project level:National

Project Number:2018M643585

Classification of Disciplines: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

Pre One:Efficient Artificial Intelligence Planning Guided by Spatio-Temporal Knowledge

Next One:Innovation Group of Safety Critical and Intelligent Software

Baidu
map