CIVL is a framework encompassing…
See a more detailed description and examples of what CIVL does.
The CIVL developers are
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.
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
. 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
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
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
in the distribution for details.