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

The structure of this folder is:
  ./Makefile     /* The make file for reruning the experiments for ASE15 
                    submission of tool demonstration track. */
  ./pi           /* OpenMP+MPI example estimating PI */
  ./wave1d       /* Sequential and MPI implementations of 1d-wave equation,
                    checked by CIVL for functional equivalence */

To run the programs:
1. install CIVL following the instruction in ./CIVL.
2. type "make".

