Here lists MPI(Message-Passing Interface Library) and Ptrheads(POSIX
Threads Programming) hybrid programs that can be verified by CIVL(The
Concurrency Intermediate Verification Language).

To run the programs: Type "make" under this folder Or using CIVL
commands to run the programs CIVL:
http://vsl.cis.udel.edu/civl/test/current/latest/release/
