Hits:

Project Name:Model Checking Shared Variable Based Multi-core Concurrent Programs

Institution:Xidian University

Teaching and Research Group:ICTT and ISN Lab

Leading Scientist:TIANCONG

Status:study complete

Type of Research Outcome:Thesis

Classification of Project:National Natural Science Foundation

Sub-Class of Project:NSFC Natural Science Foundation of China

Project Source:National Natural Science Foundation of China (NSFC)

Project Level:National

Project Participants:聂鹏程,王勇强,王海洋,李珂,杨凯

Project Number:F020106

Discipline:Engineering

First-Level Discipline:Computer Science and Technology

Date of Project Approval:2011-08-19

Scheduled Completion Time:2016-12-31

Date of Project Completion:2016-12-31

Date of Project Initiation:2013-01-01

Project Approval Number:61272117

Date:2019-01-22