GKLEE
From MaRDI portal
Cited in
(29)- Oclgrind
- Automated verification of functional correctness of race-free GPU programs
- Mostly automated formal verification of loop dependencies with applications to distributed stencil algorithms
- Formal verification of parallel prefix sum and stream compaction algorithms in CUDA
- Automated verification of the parallel Bellman-Ford algorithm
- Cumapz
- GPUVerify
- CUDPP
- FloPSy
- Rodinia
- CUDA-lite
- Mostly Automated Formal Verification of Loop Dependencies with Applications to Distributed Stencil Algorithms
- A Hoare logic for SIMT programs
- REFINER
- KLEE-FP
- Pochoir
- ThunderSVM
- Gunrock
- Simulee
- BARRACUDA
- CURD
- GMRace
- GRace
- A Hoare Logic for GPU Kernels
- Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels
- A sound and complete abstraction for reasoning about parallel prefix sums
- WebAssembly
- Loopy
- Checking data-race freedom of GPU kernels, compositionally
This page was built for software: GKLEE
