Here lists MPI(Message-Passing Interface Library) and OpenMP 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/
