|
Volumn , Issue , 2011, Pages 309-310
|
Automatic formal verification of MPI-based parallel programs
|
Author keywords
Debugging; Message passing; MPI; Symbolic execution; Verification
|
Indexed keywords
ABSTRACT MODELS;
COMPUTATIONAL SCIENCE;
DEBUGGING;
EXPLICIT STATE;
FORMAL VERIFICATIONS;
FRONT END;
FUNCTIONAL EQUIVALENCE;
GNU PUBLIC LICENSE;
INTEGER-N;
JACOBI ITERATION;
MPI;
MPI PROGRAMS;
PARALLEL PROGRAM;
POINTER ARITHMETIC;
SAFETY PROPERTY;
SCIENTIFIC SOFTWARES;
SYMBOLIC EXECUTION;
COMPUTER PROGRAMMING LANGUAGES;
MESSAGE PASSING;
PARALLEL ARCHITECTURES;
VERIFICATION;
PARALLEL PROGRAMMING;
|
EID: 79952796800
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: 10.1145/1941553.1941603 Document Type: Conference Paper |
Times cited : (20)
|
References (10)
|