This folder contains examples that can be verified by CIVL(The Concurrency Intermediate Verification Language)

The structure of this folder is:
/examples
  /cuda         /* CUDA programs that can be verified by CIVL */
  /mpi          /* MPI(Message-Passing Interface Library) programs that can be verified by CIVL */
  /omp          /* OpenMP programs that can be verified by CIVL */
  /pthread      /* Pthreads(POSIX Threads Programming) programs that can be verified by CIVL */
  /mpi-omp      /* MPI and OpenMP hybrid programs that can be verified by CIVL */
  /mpi-pthread  /* MPI and Ptrheads hybrid programs that can be verified by CIVL */

To run the programs: type "make" under each parallel language category.
Or using CIVL commands to run programs.
