MPI-Spin
- Description
- MPI-Spin is an extension to the popular model checker Spin. It adds to Spin's input language a number of functions, types, and constants for modeling parallel programs that use the Message Passing Interface. MPI-Spin (but not Spin itself) is distributed under the GNU Public License. The author of MPI-Spin is Stephen F. Siegel.
- Modulefile
mpi-spin- Examples
$MPISPIN/examples/- Documentation
- MPI-Spin homepage
- Usage
$ module load mpi-spin $ ms $ mscc