Here lists CUDA 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/
