Also check out our tutorials and videos about GPUVerify.
GPUVerify Sphinx documentation: the best source of documentation to understand how the tool is used in practice.