The GPUVerify method: A tutorial overview (2014)

First Author: Donaldson A.F.
Attributed to:  Scalable Automatic Verification of GPU Kernels funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.14279/tuj.eceasst.70.986.969

Publication URI: http://dx.doi.org/10.14279/tuj.eceasst.70.986.969

Type: Journal Article/Review

Volume: 70

Parent Publication: Electronic Communications of the EASST

ISSN: 18632122