Statements (18)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:software
|
| gptkbp:analyzes |
CUDA programs
OpenCL programs |
| gptkbp:checksFor |
data races
barrier divergence |
| gptkbp:designedFor |
verification of GPU programs
|
| gptkbp:developedBy |
gptkb:Imperial_College_London
|
| gptkbp:firstReleased |
2012
|
| gptkbp:license |
gptkb:MIT_License
|
| gptkbp:openSource |
true
|
| gptkbp:repository |
https://github.com/mc-imperial/gpuverify
|
| gptkbp:usedIn |
academic research
|
| gptkbp:uses |
Boogie verification engine
|
| gptkbp:writtenBy |
gptkb:Python
gptkb:C# |
| gptkbp:bfsParent |
gptkb:Alastair_Donaldson
|
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
GPUVerify
|