- Static Analysis
- FLAVERS
- PROPEL
- Finite-State Verification
- Property Specification
- Fault-Tree Analysis
- Failure Mode and Effect Analysis
- MPI Verification »
- INCA
- Experimentation
- Publications
- Additional Information
- All MPI Verification Publications
|
MPI Verification
Recent Publications
Combining Symbolic Execution with Model Checking to Verify Parallel Numerical Programs
Stephen F. Siegel,
Anastasia Mironova,
George S. Avrunin,
Lori A. Clarke,
ACM Transactions on Software Engineering and Methodology, Vol. 17, No. 2, April 2008, pp.10:1-10:34. (UM-CS-2008-49)
This is an updated version of TR UM-CS-2007-33. This report is a revised and extended version of UM-CS-2005-15, which appeared in ISSTA 2006.
[ ACM ]
[ PDF ]
Using Model Checking with Symbolic Execution to Verify Parallel Numerical Programs
Stephen F. Siegel,
Anastasia Mironova,
George S. Avrunin,
Lori A. Clarke,
ACM SIGSOFT 2006 International Symposium on Software Testing and Analysis (ISSTA '06) Portland, ME, pp. 157 - 168. (UM-CS-2005-15)
This is a revised and expanded version of UM-CS-2005-15, originally dated Feb. 2005. Please see "Combining Symbolic Execution with Model Checking to Verify Parallel Numerical Programs" UM-CS-2008-49 for a revised and extended version of this report.
[ ACM ]
[ PDF ]
[ Slides ]
Efficient Verification of Halting Properties for MPI Programs with Wildcard Receives
Stephen F. Siegel,
Department of Computer Science, University of Massachusetts, Amherst, MA 01003, September 2004. (UM-CS-2004-077)
[ PDF ]
Modeling MPI Programs for Verification
Stephen F. Siegel,
George S. Avrunin,
Department of Computer Science, University of Massachusetts, Amherst, MA 01003, September 2004. (UM-CS-2004-075)
This is an updated and extended version of the report: "Analysis of MPI Programs" (UM-CS-2003-060).
[ PDF ]
|