ESBMC-GPU A context-bounded model checking tool to verify CUDA programs
The Compute Unified Device Architecture (CUDA) is a programming model used for exploring the advantages of graphics processing unit (GPU) devices, through parallelization and specialized functions and features. Nonetheless, as in other development platforms, errors may occur, due to traditional soft...
| Main Authors: | , , , , , |
|---|---|
| Format: | Journal article |
| Published: |
Elsevier
2017
|