CIVL
The   Concurrency   Intermediate   Verification   Language
Contents
  1. Overview
  2. Description and examples
  3. Download and installation
  4. Documents
  5. E-mail Lists
  6. Developer Links
  7. License
Overview

CIVL is a framework encompassing…

The CIVL web application allows one to play CIVL through a web browser, without installing CIVL. Try it here.

See a more detailed description and examples of what CIVL does.

The CIVL developers are

Its development is supported by the U.S. National Science Foundation grant CCF-0733035.

CIVL is open source software distributed under the GNU General Public License.

There is a related project in the University of Utah developing CIVL models of CUDA programs and the formal semantics of CIVL-C.

Download and Installation

The CIVL platform should work on most Unix-like system. It is tested regularly on Linux and OS X. The source code can be obtained using Subversion, by checking out repository svn://vsl.cis.udel.edu/civl . Instructions for building from source are included. However, the pre-built distributions below are much easier to set up and get working. Each of the complete distributions includes all of the libraries used by CIVL, so you don't have to worry about installing them.

CIVL requires a Java 8 JVM. You can get one from Oracle here. You only need the JRE (runtime system) for using CIVL, but you can also install the complete JDK. On linux, you can alternatively sudo apt-get install openjdk-8-jdk .

Documents
  1. The CIVL Manual: latest stable version
  2. Technical Reports
E-mail Lists
  1. CIVL Users: a list for users of CIVL, general discussion, problems, bug reports, etc. Open to all.
  2. CIVL Developers: a list for the developers of CIVL.
Developer Links
  1. Javadoc API
  2. Trac site
  3. JUnit Test Results (run after each commit)
  4. Jacoco Coverage Report
License

CIVL is copyright 2013, 2014, 2015, Verified Software Laboratory, University of Delaware. CIVL is distributed under the terms of the GNU General Public License v3. See the directory licenses in the distribution for details.


VSL