@article{DBLP:journals/eceasst/Donaldson14,
author = {Alastair F. Donaldson},
title = {The {GPUVerify} Method: a Tutorial Overview},
booktitle = {Proceedings of the 14th International Workshop on Automated Verification of Critical Systems, AVoCS 2014},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {70},
year = {2014},
doi = {10.14279/TUJ.ECEASST.70.986},
}