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.
After downloading, see the Documentation page for instructions on how to run GPUVerify.
Other versions of Python and the .NET framework may work, but the tool chain has only been tested with these versions.
Other versions of Python and Mono may work, but the tool chain has only been tested with these versions.
Instructions coming in due course.
Download the following self-contained package containing the GPUVerify tool chain and (non-commercial) benchmarks discussed in the OOPSLA paper: