GPUexplore Supplementary Material

Links

The slides of the talk I gave at TACAS 2014 can be found here.

A poster on my GPU work is available here.

For implementations and the case study files used for experimentation, see the Software page.