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 Windows only package containing the GPUVerify tool chain and (non-commercial) benchmarks discussed in our OOPSLA 2012 paper:
See the included README.txt for instructions.Download the artifact, GPUVerify toolchain and experiments discussed in our OOPSLA 2013 paper from our accompanying webpage.
Download the experiments discussed in our POPL 2014 paper from: