TO
1 - 25 of 1
| Creator | Title | Description | Subject | Date | ||
|---|---|---|---|---|---|---|
| 1 |
 | Gopalakrishnan, Ganesh; Kirby, Robert Michael II | Verification of MPI programs using Spin | Verification of distributed systems is a complex yet important process. Concurrent systems are vulnerable to problems such as deadlock, starvation, and race conditions. Parallel programs written using the MPI (Message Passing Interface) Standard are no exception. Spin can be used to formally ver... | MPI programs; Verification; distributed systems; Message Passing Interface; Spin | 2004 |
1 - 25 of 1