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.
See the GPUVerify Sphinx documentation for:
Download the following self-contained package containing the GPUVerify tool chain and (non-commercial) benchmarks discussed in the OOPSLA 2012 paper:
Download the artifact, GPUVerify toolchain and experiments discussed in the OOPSLA 2013 paper from:
Download the experiments discussed in the POPL 2014 paper from: