Downloading GPUVerify?

GPUVerify is currently under day-to-day development. You can download the latest stable binary version of the tool for Windows and Linux from this page.

Instructions for compiling the tool from source will be provided in due course.

In addition, at the end of this page you can download older snapshots of the tool that were used to obtain experimental results for specific research papers, so that you can reproduce these results.

Binary Download

After downloading, see the Documentation page for instructions on how to run GPUVerify.

Windows 7, 64-bit

GPUVerify for Windows: GPUVerifyWindows64.zip
Unpack the archive onto your machine and put GPUVerify.bat on your path.

Prerequisites:

Python version 2.7.2 - python.exe should be on your path
.NET framework version 4.0, service pack 1

Other versions of Python and the .NET framework may work, but the tool chain has only been tested with these versions.

Linux, 64-bit

GPUVerify for Linux: GPUVerifyLinux64.tgz
Unpack the archive onto your machine and put the gpuverify bash script on your path.

Prerequisites:

Python version 2.7.3 - python should be on your path
Mono JIT compiler version 2.10.8.1 - mono should be on your path

Other versions of Python and Mono may work, but the tool chain has only been tested with these versions.

Compiling from Source

Instructions coming in due course.

Older versions of the tool chain

Tool chain and benchmarks for OOPSLA 2012 paper

Download the following self-contained package containing the GPUVerify tool chain and (non-commercial) benchmarks discussed in the OOPSLA paper:

GPUVerify toolchain and benchmarks (self-contained)

See the included README.txt for instructions.