The GPUVerify web site is based on the design of the SPIN 2012 web site, by Dave Parker (used with permission).
