Recover Password  New User
Undergraduate Research Project Management System

Using Model Checking with Symbolic Execution for the Verification of Data Dependent Properties of MPI Bases Scientific Software

Status Complete
Seeking Researchers No
Start Date 09/01/2004
End Date 06/30/2004
Funding Source Discovery Grants
Funding Amount
Community Partner
Related Course
Last Updated 07/05/2008 01:20PM
Keywords Model Checking

People

Faculty
  Hilary Davies

Student Researchers
  Anastasia Mironova

Abstract

N/A

Shared Project Files (e.g. papers, presentations)

File name Description Uploaded by